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
Lab-STICC_UBO_CACS_MOCS
CV
Stéphane Rubini
Lab-STICC_UBO_CACS_MOCS
Hai Nam Tran
Lab-STICC_UBO_CACS_MOCS
Jalil Boukhobza
Lab-STICC_UBO_CACS_MOCS
CV
Laurent Lemarchand
Lab-STICC_UBO_CACS_MOCS
CV
Pierre Dissaux
  • Function : Author
Ellidiss Technologies [Brest]
Valérie-Anne Nicolas
Alain Plantec
Lab-STICC_UBO_CACS_MOCS
Jérôme Legrand
  • Function : Author
Laboratoire d'Informatique des Systèmes Complexes
Mourad Dridi
  • Function : Author
Lab-STICC_UBO_CACS_MOCS
Jean-Philippe Diguet
Lab-STICC_UBO_CACS_MOCS
CV

Domains

Computer Science [cs]

Frank Singhoff  : Connect in order to contact the contributor

https://hal.univ-brest.fr/hal-01825157

Submitted on : Thursday, June 28, 2018-10:11:02 AM

Last modification on : Thursday, September 21, 2023-4:30:03 PM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS LAB-STICC_UBO ENIB LAB-STICC IBNM
150 View
0 Download

Share

Gmail Facebook X LinkedIn More