- Tytuł:
-
Modelling concurrent systems with Alvis
Modelowanie systemów współbieżnych w języku Alvis - Autorzy:
- Szpyrka, M.
- Data publikacji:
- 2011
- Wydawca:
- Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
- Tematy:
-
Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded systems
concurrent systems
modelling and verification - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł