Embedded system development for automotive applications, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, p.1, 2006. ,
DOI : 10.1145/1176887.1176888
The Airbus approach to open Integrated Modular Avionics (IMA): technology, functions, industrial processes and future development road map, International Workshop on Aircraft System Technologies, 2007. ,
Reasoning about the trends and challenges of system level design, Proc. of the IEEE, pp.467-506, 2007. ,
Controlling Speculative Design Processes Using Rich Component Models, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.118-119, 2005. ,
DOI : 10.1109/ACSD.2005.35
The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996. ,
DOI : 10.1109/LICS.1996.561342
Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
Trace Theory for Automatic Hierarchical Verification of Speed- Independent Circuits, ser, ACM Distinguished Dissertations, 1989. ,
Hierarchical models of synchronous circuits for formal verification and substitution, 1995. ,
Interface automata, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pp.109-120, 2001. ,
Process spaces and the formal verification of asynchronous circuits, Canada, 1998. ,
Semantic foundations for heterogeneous systems, 2004. ,
Trace algebra for automatic verification of real-time concurrent systems, 1992. ,
A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984. ,
DOI : 10.1145/828.833
Determinancy ??? (observation equivalence = trace equivalence), Theoretical Computer Science, vol.36, pp.21-25, 1985. ,
DOI : 10.1016/0304-3975(85)90028-3
URL : http://doi.org/10.1016/0304-3975(85)90028-3
On the relationship of CCS and CSP, " in 10 th ICALP, ser, Lecture Notes in Computer Science, vol.154, 1983. ,
Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4 ,
Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004. ,