par Genon, Alexandre ;Massart, Thierry ;Meuter, Cédric
Référence Lecture notes in computer science, 4085 LNCS, page (557-572)
Publication Publié, 2006
Article révisé par les pairs
Titre:
  • Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model-check traces
Auteur:Genon, Alexandre; Massart, Thierry; Meuter, Cédric
Informations sur la publication:Lecture notes in computer science, 4085 LNCS, page (557-572)
Statut de publication:Publié, 2006
Sujet CREF:Informatique mathématique
Mots-clés:Global properties
Model checking of traces
Monitor
Testing of asynchronous distributed systems
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:scp/33749373867

Documents en relation

DI-fusion