Theory of Modeling and Simulation, 1976. ,
Behavioral and structural model based approaches to discrete diagnosis, 1999. ,
Test pattern generation for behavioral descriptions in VHDL, Proceedings of the Euro-VHDL Conference, 1991. ,
URL : https://hal.archives-ouvertes.fr/hal-00183321
Behavioral testing of digital circuits, Journal of Microelectronic System Integration, vol.1, issue.1 ,
URL : https://hal.archives-ouvertes.fr/hal-00178330
FDEVS: A general DEVS-based formalism for fault modeling and simulation, Proceedings of the European Simulation Symposium, 2000. ,
Theory of Modeling and Simulation, 2000. ,
An introduction to set theory, 2003. ,
Abstract simulator for the parallel DEVS formalism, Fifth Annual Conference on AI, and Planning in High Autonomy Systems, 1994. ,
DOI : 10.1109/AIHAS.1994.390488
The designer guide to VHDL, 2001. ,
Transformation of VHDL descriptions into DEVS models for fault modeling and simulation, Proceedings of the IEEE Systems , Man and Cybernetics Conference, pp.1205-1211, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00165462
RTlevel fault simulation techniques based on simulation command scripts, Proceedings of the XV Conference on Design of Circuits and Integrated Systems, pp.825-830, 2000. ,