NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems. - Université de Bretagne Occidentale
Article Dans Une Revue Ada User Journal Année : 2018

NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.

José Rufino
  • Fonction : Auteur
António Casimiro
  • Fonction : Auteur
  • PersonId : 1003256
Antónia Lopes
  • Fonction : Auteur
  • PersonId : 1007073
Frank Singhoff
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Lab-STICC_UBO_CACS_MOCS
CV
Stéphane Rubini
Lab-STICC_UBO_CACS_MOCS
Valérie-Anne Nicolas
Mounir Lallali
Lab-STICC_UBO_CACS_MOCS
Mourad Dridi
Lab-STICC_UBO_CACS_MOCS
CV
Jalil Boukhobza
Lab-STICC_UBO_CACS_MOCS
CV
Lyes Allache
  • Fonction : Auteur

Domaines

Informatique [cs]

Frank Singhoff  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 6 septembre 2018-10:43:47

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

Fichier non déposé

Dates et versions

hal-01869010 , version 1 (06-09-2018)

Identifiants

  • HAL Id : hal-01869010 , version 1

Citer

José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, et al.. NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.. Ada User Journal, 2018. ⟨hal-01869010⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More