MASHKOOR, Atif Statistiche
MASHKOOR, Atif
Universita' degli Studi di Bergamo
Mostra
schede
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Intelligent Autonomous Systems
2020-01-01 Mashkoor, Atif; Arcaini, Paolo; Gargantini, Angelo Michele
Asm2C++: A tool for code generation from abstract state machines to Arduino
2017-01-01 Bonfanti, Silvia; Carissoni, Marco; Gargantini, Angelo Michele; Mashkoor, Atif
A preliminary systematic literature review of the use of formal methods in medical software systems
2016-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2020 | Intelligent Autonomous Systems | Mashkoor, Atif; Arcaini, Paolo; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2017 | Asm2C++: A tool for code generation from abstract state machines to Arduino | Bonfanti, Silvia; Carissoni, Marco; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2016 | A preliminary systematic literature review of the use of formal methods in medical software systems | Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |