Formal Methods for Real-Time and Probabilistic Systems
Subtitle: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: June 22, 1999
Language: eng
Format: Paperback
Number of pages: 355
ISBN-13: 9783540660101
Subjects: Mathematical theory of computation; Software engineering; Systems management; Formal Language Theory; Computers; Computers - General Information; Science/Mathematics; General; Logic Design; Networking - General; Computers / Logic Design; Computers : Networking - General; Formal Methods; Formal Verification; Hybrid Systems; Medical : General; Probabilistic Systems; Real-Time Systems; Computer Science; Congresses; Formal methods (Computer scien; Formal methods (Computer science); Real-Time Data Processing