- Tytuł:
- Zastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych
- Autorzy:
-
Szmuc, T.
Oskwarek, S. - Data publikacji:
- 2001
- Słowa kluczowe:
-
oprogramowanie systemów reaktywnych
bisymulacja
SDL
CCS
software for reactive systems
bisimulation - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł