Formalizing Time and Causality in Polychronous Polytimed Models

L'intégration de composants dans un système peut s'avérer difficile lorsque ces composants ont été conçus selon différents paradigmes ou s'ils se basent sur différents cadres de temps devant être synchronisés. Cette synchronisation peut être dirigée par les évènements (un évènement es...

Full description

Bibliographic Details
Main Author: Nguyen Van, Hai
Other Authors: Paris Saclay
Language:en
Published: 2018
Subjects:
Online Access:http://www.theses.fr/2018SACLS282/document