Formal description of Alvis language with $\alpha^{0}$ system layer
PBN-AR
Instytucja
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Informacje podstawowe
Główny język publikacji
EN
Czasopismo
Fundamenta Informaticae
ISSN
0169-2968
EISSN
1875-8681
Wydawca
IOS Press
Rok publikacji
2014
Numer zeszytu
1-2
Strony od-do
161--176
Numer tomu
129
Link do pełnego tekstu
Identyfikator DOI
Liczba arkuszy
1.14
Słowa kluczowe
EN
formal methods
Alvis modelling language
concurrent systems
Cechy publikacji
original article
peer-reviewed
Inne
System-identifier
idp:083156
CrossrefMetadata from Crossref logo
Cytowania
Liczba prac cytujących tę pracę
Brak danych
Referencje
Liczba prac cytowanych przez tę pracę
Brak danych