| |
Reliable Software Technologies – Ada-Europe 2009 (2009), pp. 149-163.
|
| |
Real-Time: Theory in Practice (1992), pp. 291-314.
|
| |
Industrial Electronics, Control, and Instrumentation, 1993. Proceedings of the IECON '93., International Conference on In Industrial Electronics, Control, and Instrumentation, 1993. Proceedings of the IECON '93., International Conference on (1993), pp. 138-143 vol.1.
|
| |
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 18, No. 06. (2008), 785.
|
| |
|
| |
|
| |
Fundamental Approaches to Software Engineering (1998), pp. 138-153.
|
| |
Acta Informatica, Vol. 30, No. 7. (1 July 1993), pp. 609-678.
|
| |
BIT Numerical Mathematics, Vol. 28, No. 3. (1988), pp. 581-604.
|
| |
Design, Automation and Test in Europe, 2006. DATE '06. Proceedings, Vol. 1 (2006), pp. 1-2.
|
| |
|
| |
: Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990a), pp. 67-93.
|
| |
Lecture Notes in Computer Science : FM 2006: Formal Methods (2006), pp. 115-130.
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis (2004), pp. 217-220.
|
| |
Distributed Computing, Vol. V16, No. 2. (2003), pp. 201-217.
|
| |
Computer Systems and Software Engineering, 1988. Proceedings., Third Israel Conference on (1988), pp. 1-3.
|
| |
Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 335-344.
|
| |
IEEE Transactions on Software Engineering, Vol. 16, No. 4. (1990), pp. 403-414.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. V8, No. 2. (27 April 2006), pp. 97-112.
|
| |
Lecture Notes in Computer Science : B’98: Recent Advances in the Development and Use of the B Method (1998), pp. 182-197.
|
| |
Formal Methods in System Design, Vol. V12, No. 2. (1 March 1998), pp. 163-187.
|
| |
Lecture Notes in Computer Science : SOFSEM'96: Theory and Practice of Informatics (1996), pp. 425-432.
|
| |
Lecture Notes in Computer Science : TAPSOFT '95: Theory and Practice of Software Development (1995), pp. 696-710.
|
| |
In MACS '05: Proceedings of the 2005 workshop on Modeling and analysis of concerns in software (2005), pp. 1-5.
|
| |
|
| |
|
CiteULike
leonardo's CiteULike
Search
Export
