- Tytuł:
-
Introduction to Alvis modelling language
Wprowadzenie do języka modelowania Alvis - Autorzy:
-
Szpyrka, M.
Matysik, P.
Mrówka, R.
Witalec, W.
Baniewicz, J.
Balicki, K. - Data publikacji:
- 2011
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
język modelowania Alvis
formalna weryfikacja
systemy wbudowane
Alvis language
formal verification
embedded systems - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki