| |
Mathematical Tables and Other Aids to Computation, Vol. 8, No. 46. (1954), pp. 53-57.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
Aerospace Conference, 2008 IEEE (20 May 2008), pp. 1-11.
|
| |
|
| |
|
| |
FM 2009: Formal Methods (2009), pp. 89-105.
|
| |
Model Checking Software (2004), pp. 5-22.
|
| |
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.
|
| |
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.
|
| |
|
| |
ACM Trans. Embed. Comput. Syst., Vol. 4, No. 3. (2005), pp. 472-499.
|
| |
Aerospace Conference Proceedings, 2002. IEEE, Vol. 1 (15 April 2003), pp. 1-105-1-113 vol.1.
|
| |
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.
|
| |
Automated Technology for Verification and Analysis (2009), pp. 21-21.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 168-176.
|
| |
In Proc.\ 4th Int.\ PLCopen Conf.\ on Industrial Control Programming ({ICP}'2000), Utrecht, The Netherlands, Oct.\ 2000 (2000), pp. 73-78.
|
| |
Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on (29 January 2003), pp. 303-308.
|
| |
In PE-WASUN '07: Proceedings of the 4th ACM workshop on Performance evaluation of wireless ad hoc, sensor,and ubiquitous networks (2007), pp. 1-8.
|
| |
|
| |
Applying Formal Methods: Testing, Performance, and M/E-Commerce (2004), pp. 351-365.
|
| |
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on (16 October 2006), pp. 129-130.
|
| |
Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on (06 June 2005), pp. 410-417.
|
| |
Discrete Event Systems, 2006 8th International Workshop on (09 July 2007), pp. 473-474.
|
| |
Control Systems Technology, IEEE Transactions on, Vol. 14, No. 5. (07 August 2006), pp. 943-950.
|
| |
ACM Computing Surveys, Vol. 28 (1996), pp. 626-643.
|
| |
|
| |
Proceedings of the IEEE, Vol. 79, No. 9. (1991), pp. 1293-1304.
|
| |
(2004)
by M. Duflot, L. Fribourg, T. Herault, et al.R. Lassaigne, F. Magniette, S. Messika, S. Peyronnet, C. Picaronny, Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne
|
| |
In Proceedings of the 1st International Symposium on Formal Methods for Components and Objects (November 2002)
|
| |
Research, Innovation and Vision for the Future, 2006 International Conference on (18 September 2006), pp. 45-54.
|
| |
In In Proc. of 12th Euromicro Conference on Real-Time Systems (2000), pp. 165-172.
|
| |
Proceedings of the IEEE, Vol. 91, No. 7. (28 July 2003), pp. 986-1001.
|
| |
In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software (2001), pp. 296-303.
|
| |
Information and Computation, Vol. 98, No. 2. (June 1992), pp. 142-170.
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 428-439.
|
| |
In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 193-207.
|
| |
In ASP-DAC '03: Proceedings of the 2003 Asia and South Pacific Design Automation Conference (2003), pp. 308-311.
|
| |
Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on (09 September 2009), pp. 164-170.
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 92, No. 8. (19 July 2004), pp. 1283-1305.
|
| |
American Control Conference, 2000. Proceedings of the 2000, Vol. 3 (06 August 2002), pp. 1679-1683 vol.3.
|
| |
In Proceedings of IMACS-IEEE "CESA'03, Vol. 6 (2003), pp. 9-12.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 185 (2007), pp. 33-46.
|
| |
FME 2003: Formal Methods (2003), pp. 208-222.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 133 (31 May 2005), pp. 275-294.
|
| |
AIChE Journal, Vol. 38, No. 1. (1992), pp. 67-75.
|
| |
In Automated Software Engineering Journal, Vol. 10 (2000), pp. 3-12.
|
Search
