Search results for: Reinhard Gotzhein
Lecture Notes in Computer Science > Telecommunications and beyond: The BroaderApplicability of SDL and MSC > SDL > 1-20
Lecture Notes in Computer Science > SDL 2009: Design for Motes and Mobiles > Model-Driven Development > 34-52
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Specification Framework II > 218-233
Lecture Notes in Computer Science > SDL 2003: System Design > Design > 317-334
Lecture Notes in Computer Science > SDL 2007: Design for Dependable Systems > Language Extensions > 101-116
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 319-339
Lecture Notes in Computer Science > SDL 2009: Design for Motes and Mobiles > Model-Driven Development > 19-33
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 31-47
Lecture Notes in Computer Science > SDL 2007: Design for Dependable Systems > Implementation > 150-165
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Compilers and Semantics > 242-265
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 61-78
Lecture Notes in Computer Science > Telecommunications and beyond: The BroaderApplicability of SDL and MSC > SDL > 61-73
Lecture Notes in Computer Science > Testing of Communicating Systems > Session V: Compositional and Distributed Testing > 227-244
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 7. Requirements and QoS > 309-324