Title: Specification based testing of real-time distributed systems: languages, tools and applications
Subjects: Informatik, Datenverarbeitung, OUR Brockhaus selection, Datenverarbeitung Informatik