MAKARTETSKIY, DENIS

MAKARTETSKIY, DENIS  

Dipartimento di Automatica e Informatica  

024637  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
Citazione Data di pubblicazione Autori File
An approach to refinement checking of SysML requirements / Makartetskiy, Denis; Sisto, Riccardo. - STAMPA. - (2011), pp. 1-4. ((Intervento presentato al convegno IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA) tenutosi a Toulouse (France) nel 5-9 Sept. 2011 [10.1109/ETFA.2011.6059147]. 1-gen-2011 MAKARTETSKIY, DENISSISTO, Riccardo 2460420-mod.pdf
An Overview of Software-based Support Tools for ISO 26262 / Makartetskiy, Denis; Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2010), pp. 132-137. ((Intervento presentato al convegno Innovative Information Technologies: Theory and Practice tenutosi a Dresden (GER) nel 06-10 Settembre 2010. 1-gen-2010 MAKARTETSKIY, DENISPOZZA, DAVIDESISTO, Riccardo iit10.pdf
Combining SysML modelling with refinement checking in Eclipse / Makartetskiy, Denis; Sisto, Riccardo. - STAMPA. - (2011), pp. 290-293. ((Intervento presentato al convegno Proc. of the 6th Workshop of the Italian Eclipse Community, Eclipse-IT 2011 tenutosi a Milano nel 22-23 Settembre 2011. 1-gen-2011 MAKARTETSKIY, DENISSISTO, Riccardo -
(User-friendly) formal requirements verification in the context of ISO26262 / Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto. - In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL. - ISSN 2215-0986. - ELETTRONICO. - 23:3(2020), pp. 494-506. [10.1016/j.jestch.2019.09.005] 1-gen-2020 Denis MakartetskiyGuido MarchettoRiccardo SistoFulvio ValenzaMatteo Virgilio + 1-s2.0-S2215098619306147-main.pdf