Reactive systems
Subtitle: modelling, specification and verification
By: Luca Aceto ... [et al.]
Contributors: Aceto, Luca
Publisher: Cambridge University Press
Published: 2007
Place of publication: Cambridge; New York
Language: eng
Number of pages: 284
ISBN-13: 9780521875462
Subjects: Expert systems (Computer science) -- Validation; Expert systems (Computer science) -- Verification; System design -- Mathematical models
Notes: Includes bibliographical references and index