Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Campetelli, Alarico"'
Autor:
Spichkova, Maria, Campetelli, Alarico
In many cases, it is more profitable to apply existing methodologies than to develop new ones. This holds, especially, for system development within the cyber-physical domain: until a certain abstraction level we can (re)use the methodologies for the
Externí odkaz:
http://arxiv.org/abs/1403.2819
Autor:
Campetelli, Alarico
The scope of this thesis is the introduction of sampling algorithms and the study of a formal verification support for hybrid systems. We extend the FOCUS formal modelling theory for specification of distributed and interactive systems to support hyb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::7894f85fc9ffa81084e2db182da41533
https://mediatum.ub.tum.de/1253350
https://mediatum.ub.tum.de/1253350
Autor:
Campetelli, Alarico, Cengarle, Maria Victoria, Gaponova, Irina, Harhurin, Alexander, Ratiu, Daniel, Thyssen, Judith
Model-based development assumes the pervasive use of models along all software development phases. Models are usually built using modelling tools. Behind each tool there is a modelling language that comprises one or more specification techniques. A s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::5f9634454871f488015a60df37760ca0
https://mediatum.ub.tum.de/doc/1287431/document.pdf
https://mediatum.ub.tum.de/doc/1287431/document.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Hackenberg, Georg, Campetelli, Alarico, Legat, Christoph, Mund, Jakob, Teufi, Sabine, Vogel-Heuser, Birgit
Publikováno v:
System Analysis & Modeling: Models & Reusability; 2014, p287-303, 17p
Publikováno v:
Automated Technology for Verification & Analysis (9783642047602); 2009, p289-305, 17p