%0 Conference Paper %1 conf/forte/OlveczkyBM10 %A Ölveczky, Peter Csaba %A Boronat, Artur %A Meseguer, José %B FMOODS/FORTE %D 2010 %E Hatcliff, John %E Zucca, Elena %I Springer %K dblp %P 47-62 %T Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. %U http://dblp.uni-trier.de/db/conf/forte/forte2010.html#OlveczkyBM10 %V 6117 %@ 978-3-642-13463-0

@inproceedings{conf/forte/OlveczkyBM10, added-at = {2023-09-20T00:00:00.000+0200}, author = {Ölveczky, Peter Csaba and Boronat, Artur and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/24d391dfaae395257adde8257db64053b/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2010}, editor = {Hatcliff, John and Zucca, Elena}, ee = {https://doi.org/10.1007/978-3-642-13464-7_5}, interhash = {1ada48c48883fabbd2ce3eac78d8c5d9}, intrahash = {4d391dfaae395257adde8257db64053b}, isbn = {978-3-642-13463-0}, keywords = {dblp}, pages = {47-62}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:16:57.000+0200}, title = {Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2010.html#OlveczkyBM10}, volume = 6117, year = 2010 }