Difference between revisions of "Publications"

From Ivoire
Jump to navigation Jump to search
Line 1: Line 1:
 
A listing of all publications made:
 
A listing of all publications made:
 +
 +
== 2023 ==
 +
=== IVOIRE related ===
 +
* [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_12 Validation by Abstraction and Refinement]
 +
* [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_22 Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations]
 +
* [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_5 Validation of Formal Models by Interactive Simulation]
 +
  
 
== 2022 ==
 
== 2022 ==

Revision as of 07:45, 16 May 2023