- 3
Frank Singhoff
3
Documents
Publications
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.Ada User Journal, 2018
Article dans une revue
hal-01869010v1
|
About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADLInvited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
Communication dans un congrès
hal-01825157v1
|
|
An example of early scheduling analysis with AADLPrésentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France
Communication dans un congrès
hal-01419160v1
|