![](/img/cover-not-exists.png)
[IEEE 2009 17th Mediterranean Conference on Control and Automation (MED) - Thessaloniki, Greece (2009.06.24-2009.06.26)] 2009 17th Mediterranean Conference on Control and Automation - A unifying specification logic for cyber-physical systems
Bujorianu, Marius C., Bujorianu, Manuela L., Barringer, HowardYear:
2009
Language:
english
DOI:
10.1109/med.2009.5164704
File:
PDF, 305 KB
english, 2009