%0 Conference Paper %1 conf/safecomp/AddoucheAM05 %A Addouche, Nawal %A Antoine, Christian %A Montmain, Jacky %B SAFECOMP %D 2005 %E Winther, Rune %E Gran, Bjørn Axel %E Dahll, Gustav %I Springer %K dblp %P 24-36 %T Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2005.html#AddoucheAM05 %V 3688 %@ 3-540-29200-4

@inproceedings{conf/safecomp/AddoucheAM05, added-at = {2021-10-14T00:00:00.000+0200}, author = {Addouche, Nawal and Antoine, Christian and Montmain, Jacky}, biburl = {https://www.bibsonomy.org/bibtex/2d1c43954ea175ab2f3d7848f49a11911/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2005}, editor = {Winther, Rune and Gran, Bjørn Axel and Dahll, Gustav}, ee = {https://doi.org/10.1007/11563228_3}, interhash = {156a5683a631f850ddc173c3593806f6}, intrahash = {d1c43954ea175ab2f3d7848f49a11911}, isbn = {3-540-29200-4}, keywords = {dblp}, pages = {24-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:59:15.000+0200}, title = {Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2005.html#AddoucheAM05}, volume = 3688, year = 2005 }