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

José Rufino António Casimiro Antónia Lopes Frank Singhoff 1, 2 Stéphane Rubini 2 Valérie-Anne Nicolas Mounir Lallali 2 Mourad Dridi 2 Jalil Boukhobza 2 Lyes Allache
1 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Lab-STICC_UBO_CACS_MOCS
IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Document type :
Journal articles
Complete list of metadatas
https://hal.univ-brest.fr/hal-01869010
Contributor : Frank Singhoff <>
Submitted on : Thursday, September 6, 2018 - 10:43:47 AM
Last modification on : Friday, December 13, 2019 - 10:42:17 AM

Identifiers

  • HAL Id : hal-01869010, version 1

Collections

UNIV-BREST | CNRS | INSTITUT-TELECOM | ENIB | LAB-STICC | LAB-STICC_UBO | IBNM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

68

Contact

Informations

CCSD