%0 Conference Paper %1 conf/models/SimkoLLNS13 %A Simko, Gabor %A Lindecker, David %A Levendovszky, Tihamer %A Neema, Sandeep %A Sztipanovits, Janos %B MoDELS %D 2013 %E Moreira, Ana %E Schätz, Bernhard %E Gray, Jeff %E Vallecillo, Antonio %E Clarke, Peter J. %I Springer %K dblp %P 471-487 %T Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. %U http://dblp.uni-trier.de/db/conf/models/models2013.html#SimkoLLNS13 %V 8107 %@ 978-3-642-41532-6

@inproceedings{conf/models/SimkoLLNS13, added-at = {2024-02-05T00:00:00.000+0100}, author = {Simko, Gabor and Lindecker, David and Levendovszky, Tihamer and Neema, Sandeep and Sztipanovits, Janos}, biburl = {https://www.bibsonomy.org/bibtex/2951854b5e108435fe1d6f3d1fbf70b7e/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2013}, editor = {Moreira, Ana and Schätz, Bernhard and Gray, Jeff and Vallecillo, Antonio and Clarke, Peter J.}, ee = {https://doi.org/10.1007/978-3-642-41533-3_29}, interhash = {1bada15edd4af6b1dc21ce2f695a79f1}, intrahash = {951854b5e108435fe1d6f3d1fbf70b7e}, isbn = {978-3-642-41532-6}, keywords = {dblp}, pages = {471-487}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T21:59:32.000+0200}, title = {Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.}, url = {http://dblp.uni-trier.de/db/conf/models/models2013.html#SimkoLLNS13}, volume = 8107, year = 2013 }