4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 359-370
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 371-382
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 383-395
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 396-400
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 401-405
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications > 406-410
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 38-47
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 48-56
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 57-68
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 69-79
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 80-91
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 92-97
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 98-102
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 103-107
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Method Integration > 108-119