Term Validation of distributed hard real time applications
Résumé
We show that, when the modeled physical process is closed, finite automata and product operators are sufficient to valid distributed systems on an operational way.
Origine : Fichiers produits par l'(les) auteur(s)