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