Search
2 headings found for Marco Roveri
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Roveri, Marco
![]() ![]() ![]() ![]() ![]() Marco Roveri researcher (ORCID 0000-0001-9483-3940) ![]() |
Personal | Formal methods for industrial critical systems, c2010: An Analytic Evaluation of SystemC Encodings in Promela |
2 |
Roveri , Marco, 19..-....
![]() |
Personal | Taking past temperatures with a grain of salt |