Wyniki wyszukiwania dla: John Derrick
Lecture Notes in Computer Science > Policies for Distributed Systems and Networks > Policy Specification and Analysis > 1-17
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The PROTEST Project > 272-289
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 117-131
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 248-262
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Refinement > 678-696
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 127-147
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 287-306
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The PROTEST Project > 250-271
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Refinement > 265-283
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Composition and Verification > 276-292
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 374-392
Lecture Notes in Computer Science > FM’99 — Formal Methods > Refinement > 1477-1496
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 300-318
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 204-225
Lecture Notes in Computer Science > Testing – Practice and Research Techniques > Full Papers > 23-38
Lecture Notes in Computer Science