Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

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

50 Downloads (Pure)
langue originaleAnglais
titreOpen problems in real-time computing
Nombre de pages2
étatPublié - 4 avr. 2014
Evénementhttp://actriss.org/2evenements/passes/9OPRTC-ULB/ - Brussels, Belgique
Durée: 4 avr. 2014 → …

Comité scientifique

Comité scientifiquehttp://actriss.org/2evenements/passes/9OPRTC-ULB/
PaysBelgique
La villeBrussels
période4/04/14 → …

Citer ceci

@inproceedings{78b70ee1316d4356a1ee4c2854576e13,
title = "Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata",
author = "{Ortiz Vega}, {James Jerson} and Pierre-Yves Schobbens",
year = "2014",
month = "4",
day = "4",
language = "English",
booktitle = "Open problems in real-time computing",

}

Ortiz Vega, JJ & Schobbens, P-Y 2014, Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata. Dans Open problems in real-time computing. http://actriss.org/2evenements/passes/9OPRTC-ULB/, Brussels, Belgique, 4/04/14.

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata. / Ortiz Vega, James Jerson; Schobbens, Pierre-Yves.

Open problems in real-time computing. 2014.

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

TY - GEN

T1 - Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

AU - Ortiz Vega, James Jerson

AU - Schobbens, Pierre-Yves

PY - 2014/4/4

Y1 - 2014/4/4

M3 - Conference contribution

BT - Open problems in real-time computing

ER -