Archivio Istituzionale della RicercaMAKARTETSKIY, DENIS
MAKARTETSKIY, DENIS
Dipartimento di Automatica e Informatica
024637
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.015 secondi).
| 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 |