| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Driouich, Y.; Parente, M.; Tronci, E. | Modeling cyber-physical systems for automatic verification | 2017 | 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017) | 10.1109/SMACD.2017.7981621 | 1-4 |