Safouan Taha

E-Mails 📧

• rf.irl @ahat.nauofas

Entries

2023

HOL-CSPM - Architectural operators for HOL-CSP

by Benoît Ballenghien 📧, Safouan Taha 📧 and Burkhart Wolff 📧

Dec 05

2021

Belief Revision Theory

by Valentin Fouillard 📧, Safouan Taha 📧, Frédéric Boulanger 📧 and Nicolas Sabouret

Oct 19

2020

The HOL-CSP Refinement Toolkit

by Safouan Taha 📧, Burkhart Wolff 🌐 and Lina Ye 📧

Nov 19

2019

HOL-CSP Version 2.0

by Safouan Taha 📧, Lina Ye 📧 and Burkhart Wolff 📧

Apr 26