| |
Commun. ACM, Vol. 52, No. 11. (2009), pp. 74-84.
|
| |
ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76.
by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 3. (2009), pp. 42-49.
|
| |
|
| |
Decision Support Systems, Vol. 45, No. 1. (2008), pp. 164-179.
|
| |
Reliability Engineering & System Safety, Vol. 92, No. 2. (February 2007), pp. 156-170.
|
| |
Spectrum, IEEE In Spectrum, IEEE, Vol. 42, No. 9. (2005), pp. 36-41.
|
| |
Safety Science, Vol. 46, No. 1. (January 2008), pp. 22-37.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 2. (April 2002), pp. 256-290.
|
| |
Commun. ACM, Vol. 47, No. 8. (August 2004), pp. 15-17.
|
| |
Safety Science In Special Issue safety in design - Papers selected from the 9th International Conference of French National Research and Safety Institute (INRS), 1-3 March 2006, Nice, France, Vol. 45, No. 5. (June 2007), pp. 545-565.
|
| |
In FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, Vol. 2805 (2003), pp. 154-169.
|
| |
Reliability Engineering & System Safety, Vol. 80, No. 3. (June 2003), pp. 271-291.
|
| |
In Proceedings of the 21st International System Safety Conference (4--8 August 2003, Ottawa, Ontario, Canada), pp. 1133-1142.
|
| |
Expert Systems, Vol. 23, No. 5. (November 2006), pp. 342-355.
|
| |
In Handbook of SE & KE (2001)
|
| |
In Handbook of SE & KE (2001)
|
| |
Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on (2001), pp. 411-420.
|
| |
Nuclear Safety, Vol. 32, No. 2. (June 1991), pp. 189-198.
|
| |
Safety Science, Vol. 43, No. 9. (November 2005), pp. 697-714.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 3. (July 2005), pp. 277-330.
|
| |
In International Conference on Software Engineering (1995), pp. 3-14.
|
| |
Software Engineering, IEEE Transactions on, Vol. 28, No. 2. (2002), pp. 146-158.
|
| |
Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (06 August 2002), pp. 15-35.
|
| |
Reliability Engineering & System Safety, Vol. 67, No. 2. (February 2000), pp. 175-191.
|
| |
Reliability Engineering & System Safety, Vol. 62, No. 1-2. (11 October 1998), pp. 23-32.
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 24, No. 11. (November 1998), pp. 948-959.
|
| |
ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 4. (Oct 1993), pp. 379-411.
|
| |
IEEE software, Vol. 23, No. 9. (Sept 1990)
|
| |
In 11th Int. Conf. on Theorem Proving in Higher Order Logics, Vol. 1479 (1999), pp. 49-66.
|
| |
IEEE Transactions on Software Engineering, Vol. 19, No. 9. (1987), pp. 856-862.
|
| |
Science of Computer Programming, Vol. 25 (1995), pp. 41-61.
|
| |
In Applications of Formal Methods (1995)
|
| |
ACM transactions on Software Engineering and Methodology, Vol. 4, No. 4. (Oct 1995), pp. 365-389.
|
| |
|
| |
ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3. (July 1996), pp. 231-261.
|
| |
In 15th. International Conference on Software Engineering ICSE'93 (1993), pp. 315-323.
|
| |
In FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (1997), pp. 201-217.
|
| |
In FME'96: Industrial Benefit and Advances in Formal Methods (1996), pp. 287-306.
|
| |
Artificial Intelligence Rev., Vol. 4 (1990)
|
| |
|
| |
Software Engineering Journal, Vol. 11, No. 1. (Jan 1996), pp. 58-66.
|
| |
Reliability Engineering & System Safety, Vol. 87, No. 3. (March 2005), pp. 351-363.
|
| |
Reliability Engineering & System Safety, Vol. 89, No. 3. (September 2005), pp. 248-260.
|
| |
Science of Computer Programming, Vol. 42, No. 1. (January 2002), pp. 11-27.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 24, No. 4. (July 1999), pp. 47-49.
|
Search
