| |
|
| |
|
| |
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.
|
| |
|
| |
|
| |
Ultra-Wideband, 2007. ICUWB 2007. IEEE International Conference on (12 November 2007), pp. 19-25.
|
| |
Signal Processing, IEEE Transactions on, Vol. 55, No. 7. (18 June 2007), pp. 3456-3470.
|
| |
PowerTech, 2009 IEEE Bucharest (09 October 2009), pp. 1-6.
|
| |
Sensors Journal, IEEE In Sensors Journal, IEEE, Vol. 7, No. 5. (16 April 2007), pp. 611-618.
|
| |
Power and Energy Magazine, IEEE In Power and Energy Magazine, IEEE, Vol. 3, No. 2. (14 March 2005), pp. 47-55.
|
| |
Distributed Computing, Vol. 6, No. 3. (16 April 1993), pp. 155-164.
|
| |
|
| |
In DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference (1995), pp. 298-303.
|
Search
