ISSE

Search

Specification and Verification of Distributed Technical Systems with Central Control

G. Schellhorn and A. Burandt

Specification and Verification of Distributed Technical Systems with Central Control

published 1994 in: Forschungszentrum Informatik an der Universität Karlsruhe, Germany C. Lewerentz and T. Lindner, editors, Case Study "Production Cell", A Comparative Study in Formal Software Development. FZI Publication 1/94