- Tytuł:
- A development methodology for cyber-physical systems based on deterministic theatre with hybrid actors
- Autorzy:
-
Cicirello, Franco
Nigro, Libero - Tematy:
-
cyber-physical systems
model-driven development
timing models reconciliation
hybrid actors
model continuity
determinism
theatre actor system
Uppaal
Java
systemy cyber-fizyczne
rozwój sterowany
model czasowy
aktorzy hybrydowi
ciągłość modelu
determinizm - Pokaż więcej
- Data publikacji:
- 2021
- Wydawca:
- Politechnika Gdańska
- Dostawca treści:
- Biblioteka Nauki
Artykuł