Search results for: Ernst-Rüdiger Olderog
Information and Computation > 2017 > 253 > P2 > 181-203
Formal Aspects of Computing > 2017 > 29 > 4 > 583-600
Lecture Notes in Computer Science > Integrated Formal Methods > Links between Object-Z and CSP > 245-266
Lecture Notes in Computer Science > Languages: From Formal to Natural > Languages: From Formal to Natural > 1-21
Lecture Notes in Computer Science > Emerging Trends in Information and Communication Security > Security Policies > 352-367
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 549-573
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Cyber Physical Systems > 404-419
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Liveness > 251-265
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Theory and Standards > 192-192
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 592-621
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335