- Tytuł:
- A Development Methodology for Cyber-Physical Systems based on Deterministic Theatre with Hybrid Actors
- Autorzy:
-
Cicirello, Franco
Nigro, Libero - Data publikacji:
- 2021
- Słowa kluczowe:
-
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
- Dostawca treści:
- BazTech
Artykuł