- Tytuł:
- Introduction to modelling embedded systems with Alvis
- Autorzy:
-
Szpyrka, M.
Matyasik, P.
Mrówka, R.
Witalec, W.
Baniewicz, J.
Kotulski, L. - Data publikacji:
- 2011
- Słowa kluczowe:
-
Alvis
modelowanie systemów wbudowanych
weryfikacja systemów wbudowanych
metody formalne
embedded systems modelling
veryfication systems modelling
formal methods - Pokaż więcej
- Dostawca treści:
- BazTech