 | 2007 |
|---|
| 7 |       | Norbert Giambiasi,
Jean-Luc Paillet:
DECM with Min-Max Delays.
CDES 2007: 127-136 |
| 2004 |
|---|
| 6 | | Frédéric Châne,
Norbert Giambiasi,
Jean-Luc Paillet:
From DEVS Model to Timed Automata.
Software Engineering Research and Practice 2004: 498-504 |
| 2003 |
|---|
| 5 |  | Norbert Giambiasi,
Jean-Luc Paillet,
Frédéric Châne:
Simulation and verification II: from timed automata to DEVS models.
Winter Simulation Conference 2003: 923-931 |
| 4 | | Watcharee Jumpamule,
Jean-Luc Paillet,
Norbert Giambiasi:
Using Simulation for the Validation of High Level Specifications of Control Systems.
Journal of Intelligent and Robotic Systems 38(3-4): 345-375 (2003) |
| 2002 |
|---|
| 3 | | Jean-Luc Paillet,
Norbert Giambiasi:
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.
Journal of Intelligent and Robotic Systems 34(1): 27-81 (2002) |
| 1984 |
|---|
| 2 | | Jean-Luc Paillet:
Utilisation d'un micro-processeur specialise dans le calcul.
BIAA 7: 13-29 (1984) |
| 1979 |
|---|
| 1 | | Jean-Luc Paillet:
A threshold property for intersections in a finite set.
J. Comb. Theory, Ser. B 26(2): 150-153 (1979) |
Data released under the ODC-BY 1.0 license — See also our legal information page