- 2
Frank Singhoff
2
Documents
Publications
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
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
|