Archivio Istituzionale della RicercaMAKARTETSKIY, DENIS
MAKARTETSKIY, DENIS
Dipartimento di Automatica e Informatica
024637
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
An approach to refinement checking of SysML requirements
2011 Makartetskiy, Denis; Sisto, Riccardo
Combining SysML modelling with refinement checking in Eclipse
2011 Makartetskiy, Denis; Sisto, Riccardo
An Overview of Software-based Support Tools for ISO 26262
2010 Makartetskiy, Denis; Pozza, Davide; Sisto, Riccardo
| 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_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 |