MASHKOOR, Atif Statistiche

MASHKOOR, Atif  

Universita' degli Studi di Bergamo  

Mostra schede
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.014 secondi).
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