| |
In ICSE (1999), pp. 107-119.
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 107-119.
|
| |
Software Engineering, International Conference on, Vol. 0 (1999)
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 107-119.
|
| |
Software Engineering, 1999. Proceedings of the 1999 International Conference on In Software Engineering, 1999. Proceedings of the 1999 International Conference on (06 August 2002), pp. 107-119.
|
| |
Data and Knowledge Engineering (September 1999), pp. 115-134.
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 142-151.
|
| |
Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 705-705.
|
| |
Formal Methods in System Design, Vol. 15, No. 1. (1 July 1999), pp. 49-74.
|
| |
In FMOODS, Vol. 139 (1999)
|
| |
|
| |
Microprocessors and Microsystems, Vol. 23, No. 7. (06 December 1999), pp. 409-416.
|
| |
IEEE Softw., Vol. 16, No. 5. (September 1999), pp. 71-82.
|
| |
Fundamental Approaches to Software Engineering (1999), pp. 219-234.
|
| |
FM’99 — Formal Methods (1999), pp. 722-722.
|
| |
Object-Oriented Technology ECOOP’99 Workshop Reader (1999), pp. 793-793.
|
| |
Algebraic Methodology and Software Technology (1999), pp. 231-247.
|
| |
UML'99 - The Unified Modeling Language In Lecture Notes in Computer Science, Vol. 1723 (1999), pp. 430-444.
|
| |
«UML»’99 — The Unified Modeling Language (1999), pp. 76-76.
|
| |
Automata, Languages and Programming (1999), pp. 703-703.
|
| |
CONCUR’99 Concurrency Theory (1999), pp. 782-782.
|
| |
Conceptual Modeling — ER ’99 (15--18 November 1999), pp. 430-444.
|
| |
Applied Formal Methods — FM-Trends 98 (1999), pp. 44-61.
|
| |
Information and Software Technology, Vol. 41, No. 14. (5 November 1999), pp. 1027-1032.
|
| |
Multimedia Tools and Applications, Vol. 8, No. 3. (1 May 1999), pp. 309-324.
|
| |
The Unified Modeling Language. «UML»’98: Beyond the Notation (1999), pp. 132-147.
|
| |
«UML»’99 — The Unified Modeling Language (1999), pp. 748-748.
|
| |
The Unified Modeling Language. «UML»’98: Beyond the Notation (1999), pp. 378-392.
|
| |
International Journal of Aviation Psychology, Vol. 9, No. 2. (1999), pp. 125-138.
|
| |
In ADBIS (Short Papers) (1999), pp. 148-154.
|
| |
Stud. Univ. BabeŞ-Bolyai Inform., Vol. 44, No. 2. (1999), pp. 65-76.
|
| |
Applied Formal Methods — FM-Trends 98 (1999), pp. 107-121.
|
| |
|
| |
|
| |
High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on (1999), pp. 46-55.
|
| |
In Algebraic Foundations of Systems Specification (1999), pp. 385-433.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 8, No. 1. (January 1999), pp. 1-48.
|
| |
No. TUCS-TR-279. (FebruaryJuly 1999)
|
| |
Automated Software Engineering, 1999. 14th IEEE International Conference on. (1999), pp. 255-258.
|
| |
In DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems (1999), pp. 61-71.
|
| |
Image Analysis and Processing, 1999. Proceedings. International Conference on (1999), pp. 1198-1203.
|
| |
Real-Time Systems, 1999. Proceedings of the 11th Euromicro Conference on (1999), pp. 70-77.
|
| |
Software Engineering, 1999. Proceedings of the 1999 International Conference on (1999), pp. 142-151.
|
| |
Requirements Engineering, Vol. V4, No. 1. (12 May 1999), pp. 19-37.
|
| |
Formal Aspects of Computing, Vol. V11, No. 6. (3 December 1999), pp. 637-664.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 18, No. 6. (1999), pp. 742-760.
|
| |
In Behavioral Specifications of Businesses and Systems (1999), pp. 221-242.
|
| |
|
| |
In Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) (1999)
|
| |
Theoretical Computer Science, Vol. 216, No. 1-2. (6 March 1999), pp. 271-310.
|
CiteULike
leonardo's CiteULike
Search
Export
