About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL - Université de Bretagne Occidentale
Communication Dans Un Congrès Année : 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
  • Fonction : Auteur
Ellidiss Technologies [Brest]
Valérie-Anne Nicolas
Alain Plantec
Lab-STICC_UBO_CACS_MOCS
Jérôme Legrand
  • Fonction : Auteur
Laboratoire d'Informatique des Systèmes Complexes
Mourad Dridi
Lab-STICC_UBO_CACS_MOCS
CV
Jean-Philippe Diguet
Lab-STICC_UBO_CACS_MOCS
CV

Domaines

Informatique [cs]

Frank Singhoff  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 28 juin 2018-10:11:02

Dernière modification le : mardi 27 août 2024-12:49:07

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01825157 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST CNRS LAB-STICC_UBO ENIB LAB-STICC IBNM LAB-STICC_UBS_2
162 Consultations
0 Téléchargements

Partager

More