Suivre
Gioacchino Mauro
Gioacchino Mauro
Affiliation inconnue
Adresse e-mail validée de studenti.unipi.it
Titre
Citée par
Citée par
Année
Extending a user interface prototyping tool with automatic MISRA C code generation
G Mauro, H Thimbleby, A Domenici, C Bernardeschi
arXiv preprint arXiv:1701.08468, 2017
232017
Design and development of a MISRA C code generator for safety critical devices
G MAURO
2016
唯一 CERT C について書いている. 自分はトンネルを掘る方が専門で防ぐ方が専門でない. CERT C の bibliography のリンク切れを修正したことがある.
R Bagnara, A Bagnara, PM Hill, G Mauro, H Thimbleby, A Domenici, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3