About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL - Université de Bretagne Occidentale Access content directly
Conference Papers Year : 2018

About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL

Frank Singhoff
Stéphane Rubini
Hai Nam Tran
Jalil Boukhobza
Laurent Lemarchand
Valérie-Anne Nicolas
Alain Plantec
Mourad Dridi
Jean-Philippe Diguet
No file

Dates and versions

hal-01825157 , version 1 (28-06-2018)

Identifiers

  • HAL Id : hal-01825157 , version 1

Cite

Frank Singhoff, Stéphane Rubini, Hai Nam Tran, Jalil Boukhobza, Laurent Lemarchand, et al.. About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL. Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia. ⟨hal-01825157⟩
153 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More