Login / Signup
Fabien Siron
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Definition Language
Predicate Calculus
Concurrent Execution
Logical Formulas
Top Venues
CPS-IoT Week Workshops
</>
Publications
</>
Fabien Siron
,
Dumitru Potop-Butucaru
,
Robert de Simone
,
Damien Chabrol
,
Amira Methni
Semantics foundations of PsyC based on synchronous Logical Execution Time.
CPS-IoT Week Workshops
(2023)