Algorithmique et complexité des systèmes à compteurs
Réalisé en cotutelle avec l'École normale supérieure de Cachan – Université Paris-Saclay === L'un des aspects fondamentaux des systèmes informatiques modernes, et en particulier des systèmes critiques, est la possibilité d'exécuter plusieurs processus, partageant des ressources commun...
Main Author: | Blondin, Michael |
---|---|
Other Authors: | Finkel, Alain |
Language: | fr |
Published: |
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/1866/16025 |
Similar Items
-
Algorithmique et complexité des systèmes à compteurs
by: Blondin, Michael
Published: (2016) -
Une approche incrémentale pour l’extraction de séquences de franchissement dans un Réseau de Petri Temporisé : application à la reconfiguration des systèmes de production flexibles
by: Huang, Yongliang
Published: (2013) -
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2015-03-01) -
Reconfiguration dynamique de la commande d'un système manufacturier : approche par la synthèse de la commande
by: Lee, Eun Joo
Published: (2006) -
Complexité et relatives en français vernaculaire langue maternelle et langue seconde
by: Pierre Larrivée
Published: (2018-11-01)