| |
|
| |
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (2000), pp. 70-93.
|
| |
|
| |
IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (January 2000), pp. 70-93.
|
| |
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 International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), Vienna, Austria, 26/09/07-28/09/07 (2007), pp. 165-174.
|
| |
In DAta Systems In Aerospace (2008)
|
| |
In 13th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2008) (2008)
|
