Search results for: K. Lano
Lecture Notes in Computer Science > ECOOP ’92 European Conference on Object-Oriented Programming > 78-97
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 696-710
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 142-161
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Refinement > 250-264
Lecture Notes in Computer Science > The Unified Modeling Language. «UML»’98: Beyond the Notation > 107-119
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods I - Analysis and Specification > 60-74
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 298-317
Lecture Notes in Computer Science > Integrated Formal Methods > From Specifcation to Verifcation > 49-68
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Fault Tolerance > 46-57
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Contributed Papers > 129-143
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Formally Engineering Systems > 97-111
Science of Computer Programming > 2014 > 85 > Part A > 5-40
Software & Systems Modeling > 2014 > 13 > 2 > 873-907
The Journal of Systems & Software > 2013 > 86 > 2 > 412-436