Login / Signup
Céline Bellanger
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Epistemic Logic
Specification Languages
Grid Workflow
Model Checker
Top Venues
CoRR
</>
Publications
</>
Céline Bellanger
,
Pierre-Loïc Garoche
,
Matthieu Martel
,
Célia Picard
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers.
CoRR
(2023)