OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Ordioni, Julien"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Halchin, Alexandra and Aït-Ameur, Yamine and Singh, Neeraj Kumar and Feliachi, Abderrahmane and Ordioni, Julien. Certified embedding of B models in an integrated verification framework. (2019) In: 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), 29 July 2019 - 31 July 2019 (Guilin, China).

Halchin, Alexandra and Feliachi, Abderrahmane and Singh, Neeraj Kumar and Aït-Ameur, Yamine and Ordioni, Julien. B-PERFect - Applying the PERF Approach to B Based System Developments. (2017) In: International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), 14 November 2017 - 16 November 2017 (Pristoia, Italy).

This list was generated on Fri Sep 24 16:24:47 2021 CEST.