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

TitleNORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems
Publication TypeJournal Article
Year of Publication2018
AuthorsRufino, J., A. Casimiro, A. Lopes, F. Singhoff, S. Rubini, V-A. Nicolas, M. Lallali, M. Dridi, J. Boukhobza, and L. Allache
JournalAda User Journal