Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz. Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. In 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary. pages 188-195, IEEE Computer Society, 2004. [doi]
@inproceedings{BelarbiBS04,
title = {Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata},
author = {Mostefa Belarbi and Jean-Philippe Babau and Jean-Jacques Schwarz},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/ds-rt/2004/2232/00/22320188abs.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/BelarbiBS04},
cites = {0},
citedby = {0},
pages = {188-195},
booktitle = {8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary},
publisher = {IEEE Computer Society},
isbn = {0-7695-2232-7},
}