An approach to the creation of precise, intelligible problem specifications of large reactive systems
By: Martin Kronenburg
Contributors: Universität Kaiserslautern
Series: Berichte aus der Informatik
Publisher: Shaker Verlag
Published: 2001
Place of publication: Aachen
Language: eng
Number of pages: 304
Subjects: Object-oriented methods (Computer science)
Notes: Thesis (doctoral)--Universität Kaiserslautern, 2000.

Includes bibliographical references and index.