Skip to Main content
Number of documents


Jalil Boukhobza

"Valérie-Anne Nicolas"    "Jérôme Legrand"    Stéphane Rubini   

Conference papers1 document

  • 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⟩