- 1
Frank Singhoff
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.Ada User Journal, 2018
Article dans une revue
hal-01869010v1
|