Search results
Lecture Notes in Computer Science > FM 2009: Formal Methods > Special Track: Industrial Applications I > 516-531
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 85-103
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 168-188
Lecture Notes in Computer Science > «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications > Short Tool Papers > 92-95
Lecture Notes in Computer Science > Information and Communications Security > Session 2B. Fair Exchange Protocols > 251-265
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 179-194
Lecture Notes in Computer Science > Model Checking Software > Applications of Model Checking > 161-176
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 201-220
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Unified Modeling Languages > 292-306
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Descriptions > 420-434
Lecture Notes in Computer Science > FME 2003: Formal Methods > I-Day > 114-132
Lecture Notes in Computer Science > Computational Intelligence in Security for Information Systems > Chapter 4: Securing Software > 198-205
Lecture Notes in Computer Science > Implementation and Application of Automata > Invited Talks > 5-10
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software > 214-229
Lecture Notes in Computer Science > Embedded Software and Systems > Track 6: Testing and Verification > 361-372