| |
Lecture Notes in Computer Science In In proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Vol. 2280 (8-12 April 2002), pp. 67-82.
|
| |
|
| |
Commun. ACM, Vol. 52, No. 11. (2009), pp. 36-39.
|
| |
American Control Conference, 2009. ACC '09. (10 July 2009), pp. 2076-2089.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
|
| |
Aerospace Conference, 2008 IEEE (20 May 2008), pp. 1-11.
|
| |
|
| |
|
| |
Antennas and Propagation Conference, 2007. LAPC 2007. Loughborough (04 June 2007), pp. 101-104.
|
| |
|
| |
|
| |
Computer Aided Verification In CAV '08: Proceedings of the 20th international conference on Computer Aided Verification (2008), pp. 176-189.
|
| |
|
| |
|
| |
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (2007), pp. 245-260.
|
| |
Industrial Electronics, IEEE Transactions on, Vol. 56, No. 3. (27 February 2009), pp. 900-906.
|
| |
|
| |
In Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM) (2009), pp. 2186-2191.
|
| |
In PDP '09: Proceedings of the 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing (2009), pp. 210-219.
|
| |
|
| |
In Participant's Proceedings of FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems (2008)
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (06 August 2002), pp. 14-23.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 27, No. 7. (17 June 2008), pp. 1165-1178.
|
| |
|
| |
|
| |
|
| |
|
| |
Software Engineering, 2003. Proceedings. 25th International Conference on In Software Engineering, 2003. Proceedings. 25th International Conference on (28 May 2003), pp. 694-704.
|
| |
Robotics and Automation, IEEE Transactions on, Vol. 8, No. 3. (06 August 2002), pp. 350-361.
|
| |
ACM Trans. Embed. Comput. Syst., Vol. 4, No. 3. (2005), pp. 472-499.
|
| |
|
| |
In CODES '00: Proceedings of the eighth international workshop on Hardware/software codesign (2000), pp. 18-22.
|
| |
Aerospace Conference Proceedings, 2002. IEEE, Vol. 1 (15 April 2003), pp. 1-105-1-113 vol.1.
|
| |
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 93, No. 5. (09 May 2005), pp. 965-979.
|
| |
Power Engineering Review, IEEE, Vol. 21, No. 10. (15 April 2003), pp. 3-21.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In IPSN '05: Proceedings of the 4th international symposium on Information processing in sensor networks (2005), 48.
|
Search
