Old Web
English
Sign In
Acemap
>
authorDetail
>
Macedonio Damiano
Macedonio Damiano
Formal methods
Mechanical engineering
Systems engineering
Computer science
Software engineering
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
NASA Formal Methods
2016
Lecture Notes in Computer Science
Ernst Michael
Macedonio Damiano
Merro Massimo
Spoto Fausto
Show All
Source
Cite
Save
Citations (0)
1