- 2
Frank Singhoff
2
Documents
Publications
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
Verification of Scheduling Properties Based on Execution TracesAda User Journal, 2018
Article dans une revue
hal-01868846v1
|
|
NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.Ada User Journal, 2018
Article dans une revue
hal-01869010v1
|