Real-Time Systems : Scheduling, Analysis, and Verification, Hardcover by Chen...
166,03 €
Real-Time Systems : Scheduling, Analysis, and Verification, Hardcover by Cheng, Albert M. K., ISBN 0471184063, ISBN-13 9780471184065, Like New Used, Free shipping in the US This textbook introduces several approaches to the formal analysis and verification of real-time systems. Cheng (University of Houston) describes model checking of finite state system, visual formalism with statecharts, real-time logic, the Modechart specification, verification using time automata, and timed Petri nets. The final three chapters deal with rule-based expert systems. Annotation c. Book News, Inc., Portland, OR ()
Jetzt bei Ebay:
