|
Publikationen
2011
|
Alarico Campetelli, Florian Hölzl, Philipp Neubeck
User-friendly Model Checking Integration in Model-based Development
Accepted for 24th International Conference on Computer Applications in Industry and Engineering (CAINE 2011), November, 2011.
Conference article BibTeX
|
2010
|
|
Alarico Campetelli, María Victoria Cengarle, Irina Gaponova, Alexander Harhurin, Daniel Ratiu, Judith Thyssen
Specification Techniques
In TUM-I1013, Technische Universität München, Juni, 2010.
Technical Report BibTeX | Link
|
|
|
Alarico Campetelli
Analysis Techniques: State of the Art in Industry and Research
In TUM-I1008, Technische Universität München, April, 2010.
Technical Report BibTeX | Link
|
2009
|
|
Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma
Don't know for Multi-Valued Systems
Accepted for 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), LNCS, Springer, 2009.
Conference article BibTeX | Link
|
|
