MAKARTETSKIY, DENIS

MAKARTETSKIY, DENIS  

Dipartimento di Automatica e Informatica  

024637  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 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.pdfAn_approach_to_refinement_checking_of_SysML_requirements.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 -
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