ETAPS 2019 (series) / Sergio Saponara
Not registered as user yet
Name: Sergio Saponara
Affiliation: University of Pisa, Italy
Contributions
| InterAVT 2019 | Author of FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems within the InterAVT-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile