panda
Computer-aided verification of coordinating processes
Manufacturing
Industrial Technology
Verification
Technical & Manufacturing Industries & Trades
Industrial engineering
Computational complexity
Expert systems (Computer science)
Manufacturing processes
System design
TECHNOLOGY & ENGINEERING
Planning
Data processing
Mathematics
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design com…
Not available to read online
This scan is restricted to patrons with print disabilities and can't be borrowed with a regular free account — signing up won't unlock it. Try Toronto Public Library, Libby, or Amazon above instead.
