%0 Conference Paper %1 conf/dsrt/BelarbiBS04 %A Belarbi, Mostefa %A Babau, Jean-Philippe %A Schwarz, Jean-Jacques %B DS-RT %D 2004 %I IEEE Computer Society %K dblp %P 188-195 %T Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. %U http://dblp.uni-trier.de/db/conf/dsrt/dsrt2004.html#BelarbiBS04 %@ 0-7695-2232-7

@inproceedings{conf/dsrt/BelarbiBS04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Belarbi, Mostefa and Babau, Jean-Philippe and Schwarz, Jean-Jacques}, biburl = {https://www.bibsonomy.org/bibtex/2341293de5385d730940c2333995e7ba8/dblp}, booktitle = {DS-RT}, crossref = {conf/dsrt/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/DS-RT.2004.39}, interhash = {6babac94cb8f516e344b89a4cf119227}, intrahash = {341293de5385d730940c2333995e7ba8}, isbn = {0-7695-2232-7}, keywords = {dblp}, pages = {188-195}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:17:40.000+0200}, title = {Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/dsrt/dsrt2004.html#BelarbiBS04}, year = 2004 }