Reactive systems :
Aceto, Luca
Reactive systems : modelling, specification and verification Luca Aceto ... [et al.]. - New Delhi ; New York : Cambridge University Press, ©2007. - xvi, 284 p. : ill. ; 26 cm.
Includes bibliographical references (p. 267-279) and index.
9780521875462
2007282029
GBA728518 bnb
013715613 Uk
Expert systems (Computer science)--Validation.
Expert systems (Computer science)--Verification.
System design--Mathematical models.
QA76.76.E95 / R39 2007
006.33
Reactive systems : modelling, specification and verification Luca Aceto ... [et al.]. - New Delhi ; New York : Cambridge University Press, ©2007. - xvi, 284 p. : ill. ; 26 cm.
Includes bibliographical references (p. 267-279) and index.
9780521875462
2007282029
GBA728518 bnb
013715613 Uk
Expert systems (Computer science)--Validation.
Expert systems (Computer science)--Verification.
System design--Mathematical models.
QA76.76.E95 / R39 2007
006.33