- Tytuł:
- Formal Description of Alvis Language with α0 System Layer
- Autorzy:
-
Szpyrka, M.
Matyasik, P.
Mrówka, R.
Kotulski, L. - Data publikacji:
- 2014
- Słowa kluczowe:
-
Alvis modelling language
concurrent systems
formal methods - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł