Liste als BibTeX-Datei exportieren

2011

• 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli , Florian Hölzl und Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB

2010

• November 2010 AutoFocus Tool Chain Florian Hölzl , Maria Spichkova und David Trachtenherz TUM-I1021, November 2010. Details URL BIB
• 2010 AutoFOCUS3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems Florian Hölzl und Martin Feilkas In Model-Based Engineering of Embedded Real-Time Systems, Band 6100 von LNCS, . Springer, Berlin Heidelberg, 2010. Details DOI BIB
• 2010 Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments Manfred Broy , Martin Feilkas , Markus Herrmannsdörfer , Stefano Merenda und Daniel Ratiu Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB