%0 Conference Paper %1 conf/iceis/LelionnaisBDRS12 %A Lelionnais, Cédrick %A Brun, Matthias %A Delatour, Jérôme %A Roux, Olivier H. %A Seidner, Charlotte %B ICEIS (2) %D 2012 %E Maciaszek, Leszek A. %E Cuzzocrea, Alfredo %E Cordeiro, José %I SciTePress %K %P 407-414 %T Formal Behavioral Modeling of Real-time Operating Systems. %U http://dblp.uni-trier.de/db/conf/iceis/iceis2012-2.html#LelionnaisBDRS12 %@ 978-989-8565-11-2

@inproceedings{conf/iceis/LelionnaisBDRS12, added-at = {2023-12-13T00:59:07.000+0100}, author = {Lelionnais, Cédrick and Brun, Matthias and Delatour, Jérôme and Roux, Olivier H. and Seidner, Charlotte}, biburl = {https://www.bibsonomy.org/bibtex/280151fb4c0e6e12246a888c44f92b713/admin}, booktitle = {ICEIS (2)}, crossref = {conf/iceis/2012-2}, editor = {Maciaszek, Leszek A. and Cuzzocrea, Alfredo and Cordeiro, José}, interhash = {6b2f89aa76cee58cc193230ce47ac010}, intrahash = {80151fb4c0e6e12246a888c44f92b713}, isbn = {978-989-8565-11-2}, keywords = {}, pages = {407-414}, publisher = {SciTePress}, timestamp = {2023-12-13T00:59:07.000+0100}, title = {Formal Behavioral Modeling of Real-time Operating Systems.}, url = {http://dblp.uni-trier.de/db/conf/iceis/iceis2012-2.html#LelionnaisBDRS12}, year = 2012 }