Difference between revisions of "Publications"

From Ivoire
Jump to navigation Jump to search
Line 5: Line 5:
 
* [https://link.springer.com/chapter/10.1007/978-3-031-14343-4_31 Application of Validation Obligations to Security Concerns]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-14343-4_31 Application of Validation Obligations to Security Concerns]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B]
 +
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_20 Model Checking B Models via High-Level Code Generation]
  
 +
 +
=== Fund related ===
 +
* [https://link.springer.com/chapter/10.1007/978-3-030-85248-1_12 ProB2-UI: A Java-Based User Interface for ProB]
  
 
== 2021 ==
 
== 2021 ==

Revision as of 09:21, 22 November 2022