Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Raffaele Corvino
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Modeling and Data Validation of General Railway Interlocking System
Formal Verification of System-Level Safety Properties on Railway Software
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
Communications in Computer and Information Science
Mathematics
Computer Science
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Validation and Verification of the OPI 2.0 System
Clinical Ophthalmology
Ophthalmology
Formal Specification and Verification
Formal Verification of a Vehicle-To-Vehicle (V2V) Messaging System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
