Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

James Jerson Ortiz Vega; Pierre-Yves Schobbens

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

James Jerson Ortiz Vega, Pierre-Yves Schobbens

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

75 Téléchargements (Pure)

langue originale	Anglais
titre	Open problems in real-time computing
Nombre de pages	2
Etat de la publication	Publié - 4 avr. 2014
Evénement	http://actriss.org/2evenements/passes/9OPRTC-ULB/ - Brussels, Belgique Durée: 4 avr. 2014 → …

Comité scientifique

Comité scientifique	http://actriss.org/2evenements/passes/9OPRTC-ULB/
Pays/Territoire	Belgique
La ville	Brussels
période	4/04/14 → …

Accès au document

OpenProblemBisimulationmanuscrit soumis, 112 KB

http://actriss.org/2evenements/passes/9OPRTC-ULB/

Contient cette citation

@inproceedings{78b70ee1316d4356a1ee4c2854576e13,

title = "Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata",

author = "{Ortiz Vega}, {James Jerson} and Pierre-Yves Schobbens",

year = "2014",

month = apr,

day = "4",

language = "English",

booktitle = "Open problems in real-time computing",

note = "http://actriss.org/2evenements/passes/9OPRTC-ULB/ ; Conference date: 04-04-2014",

}