| |
|
| |
|
| |
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (2000), pp. 70-93.
|
| |
|
| |
|
| |
|
| |
|
| |
In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 159-191.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Science of Computer Programming In Formal Methods for Components and Objects: Pragmatic aspects and applications, Vol. 55, No. 1-3. (March 2005), pp. 3-52.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 17, No. 12. (1998), pp. 1217-1229.
|
| |
IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (January 2000), pp. 70-93.
|
| |
In TYPES, Vol. 3085 (2003), pp. 338-354.
|
| |
Electr. Notes Theor. Comput. Sci, Vol. 85, No. 7. (2003)
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 15, No. 5. (2005)
|
| |
In {Formal Foundations of Embedded software and component-based softare architectures (ETAPS), Edinburgh, 02/04/05-10/04/05} (avril 2005), pp. 137-153.
|
| |
In Data Systems In Aerospace (DASIA), Berlin, Germany, 22/05/2006-25/05/2006 (2006)
|
| |
In Automated Software Engineering (2006), pp. 359-360.
|
| |
In {Data Systems In Aerospace (DASIA), Berlin-Germany, 22/05/06-25/05/06} (2006)
|
| |
In European Congress on Embedded Real-Time Software (ERTS), Toulouse, 25/01/2006-27/01/2006 (2006)
|
| |
Génie Logiciel, Vol. 80 (2007), pp. 41-44.
|
| |
In European Congress on Embedded Real-Time Software (ERTS), Toulouse, 29/01/08-01/02/08 (2007)
|
| |
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on In 12th IEEE International Conference on Engineering Complex Computer Systems (2007), pp. 377-382.
|
| |
Génie Logiciel, Vol. 80 (mars 2007), pp. 36-40.
|
| |
|
| |
In The 7th International B Conference, Vol. 4355 (2007)
|
| |
In International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria, 26/09/07-28/09/07 (2007), pp. 165-174.
|
Search
