Archive Offers
2022
2021
- Synchronization in Stochastic Games December 14, 2021
- A HOL-CSP Case-Study : Analysing the Plain-Old-Telephone Protocol December 13, 2021
- Connecting Isabelle/C with Isabelle/Clean December 13, 2021
- Génération de simulations d'automobiles autonomes à partir d’un modèle formel December 09, 2021
- Génération de simulations automobile à partir d’un modèle formel December 09, 2021
- Quantum Networks Theory November 03, 2021
- Quantum networks theory November 03, 2021
- Deciding the Logic of Subsequences April 27, 2021
- Specification and Verification of Properties of Neural Networks April 04, 2021
- Observe locally, control globally April 03, 2021