Вы здесь

Главная

Techn.Univ.Munchen

Связанные издания:

Abstract Specification Theory
Applications of Theorem Proving and Model Checking
As Cheap as Possible: Linearly Priced Timed Automata
Assertions: A Personal Perspective
Assertions in Modern Software Engineering
Church and State: Taming Effects in Functional Languages Is there a Use for Linear Logic?
Coordinate Transformation and Data Refinement
Exploiting Independence for Verification, Refinement, and Modularity
How Hard Is It to Reason about Propositional Programs?
Hybrid I/O Automata
Hybrid I/O Automata Revisited + A LEGO Case Study
(Inter-)Action Refinement: The Easy Way Compositional Refinement of Interactive Systems
Micromodels of Software
Notes on Unifying Theories of Parallel Programming
Proving Theorems about Java and the JVM with ACL2
Reactive Systems
Software Specification and Verification in Rewriting Logic: Lecture 1
The finite representation of abstract programs by automata and Petri nets
The Play-In/Play-Out Approach: Capturing and Analyzing Reactive Behavior
The Unification of Three Calculi
Unifying Models and Engineering Theories of Composed Software Systems