- Tytuł:
- Modelling concurrent systems with Alvis
- Autorzy:
- Szpyrka, M.
- Data publikacji:
- 2011
- Słowa kluczowe:
-
Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded system
concurrent systems
modelling and verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł