%0 Conference Paper %1 conf/rsp/ShuLWL02 %A Shu, Guoqiang %A Li, Chao %A Wang, Qing %A Li, Mingshu %B IEEE International Workshop on Rapid System Prototyping %D 2002 %I IEEE Computer Society %K dblp %P 99- %T Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata. %U http://dblp.uni-trier.de/db/conf/rsp/rsp2002.html#ShuLWL02 %@ 0-7695-1703-X

@inproceedings{conf/rsp/ShuLWL02, added-at = {2023-04-12T00:00:00.000+0200}, author = {Shu, Guoqiang and Li, Chao and Wang, Qing and Li, Mingshu}, biburl = {https://www.bibsonomy.org/bibtex/2a9171b067e4c026c70270e8b23456951/dblp}, booktitle = {IEEE International Workshop on Rapid System Prototyping}, crossref = {conf/rsp/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/IWRSP.2002.1029744}, interhash = {986b79bcb7494a097b3ef5fd138f070f}, intrahash = {a9171b067e4c026c70270e8b23456951}, isbn = {0-7695-1703-X}, keywords = {dblp}, pages = {99-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:07:24.000+0200}, title = {Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp2002.html#ShuLWL02}, year = 2002 }