Specification and verification of distributed technical systems with central control

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Gerhard SchellhornGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/64499
URL:https://publikationen.bibliothek.kit.edu/294
Publisher:Fakultät für Informatik, Universität Karlsruhe
Place of publication:Karlsruhe
Type:Report
Language:English
Year of first Publication:1994
Release Date:2019/11/05
Series:Technical Report, Fakultät für Informatik, Universität Karlsruhe ; 1994,3
DOI:https://doi.org/10.5445/IR/294
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik