Molinaro, Pierre
VIAF ID: 201037966 ( Personal )
Permalink: http://viaf.org/viaf/201037966
Preferred Forms
- 200 _ | ‡a Molinaro ‡b Pierre
- 100 1 _ ‡a Molinaro, Pierre
- 100 1 _ ‡a Molinaro, Pierre
Works
Title | Sources |
---|---|
Analyse exhaustive du comportement temporel de tâches et messages temps réel | |
Expression et implantation d'outils de synchronisation et de communication type CSP pour systèmes répartis | |
Micro informatique | |
Réseaux de Petri à chronomètres : temps dense et temps discret | |
Spécifications robustes du système de pilotage d'une fonction électronique automobile | |
Stopwatch Petri nets with dense-time and discrete-time semantics. | |
Traitement des composants et des circuits : équations et simulation : diodes, transistors, MOSFET, régulateurs : cours et exercices corrigés |