- Tytuł:
- Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
- Autorzy:
- Brzuchcz, R.
- Data publikacji:
- 2006
- Słowa kluczowe:
-
systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł