Block-Based Models and Theorem Proving in Model-Based Development (Englisch)
- Neue Suche nach: Bernardeschi, Cinzia
- Neue Suche nach: Domenici, Andrea
- Neue Suche nach: Fagiolini, Adriano
- Neue Suche nach: Palmieri, Maurizio
- Neue Suche nach: Bernardeschi, Cinzia
- Neue Suche nach: Domenici, Andrea
- Neue Suche nach: Fagiolini, Adriano
- Neue Suche nach: Palmieri, Maurizio
In:
Electronic Communications of the EASST
;
79
, Electronic Communications of the EASST, Vol. 79 (2020): Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
;
2021
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Block-Based Models and Theorem Proving in Model-Based Development
-
Beteiligte:Bernardeschi, Cinzia ( Autor:in ) / Domenici, Andrea ( Autor:in ) / Fagiolini, Adriano ( Autor:in ) / Palmieri, Maurizio ( Autor:in )
-
Erschienen in:Electronic Communications of the EASST ; 79, Electronic Communications of the EASST, Vol. 79 (2020): Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
-
Verlag:
- Neue Suche nach: Electronic Communications of the EASST
-
Erscheinungsdatum:2021
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle: