Παρακολούθηση
Gioacchino Mauro
Gioacchino Mauro
Άγνωστη συνεργασία
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα studenti.unipi.it
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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, ...
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–3