Archivio Istituzionale della RicercaMAKARTETSKIY, DENIS
MAKARTETSKIY, DENIS
Dipartimento di Automatica e Informatica
024637
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
(User-friendly) formal requirements verification in the context of ISO26262
2020 Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto
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 |
|---|---|---|---|
| (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 |
| 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 |