TY  - BOOK
AU  - Cheng,Albert M K.
TI  - Real-time systems: Scheduling, analysis and verification
SN  - 9788126527854 (pbk)
U1  - 004.33 
PY  - 2010///c
CY  - New Delhi
PB  - Pearson Education Private Limited
KW  - Realtime Data processing
KW  - Computer Science
N1  - Include bibliography references and index; Chapter 1: Introduction------------------------------------
Chapter 2: Analysis and Verification of Non-Real-Time Systems---------------------
Chapter 3: Real-Time Scheduling and Schedulability Analysis-------------------------
Chapter 4: Model Checking for Finite state Systems-----------------------------
Chapter 5: Visual Formalism, Statecharts and Statemate----------------------------
Chapter 6: Real-Time Logic, Graph Theoretic Analysis and Modechart---------------------------
Chapter 7: Verification Using Timed Automata-------------------------
Chapter 8: Timed Petri Nets----------------------------------
Chapter 9: Process Algebra-------------------------
Chapter 10: Design and Analysis of Propositional Logic Rule Based System--------------------------------------
Chapter 11: Timing Analysis of Predicate Logic Rule-Based Systems-------------------------
Chapter 12: Optimization of Rule Based Systems------------------------------
N2  - Intended for senior/graduate-level courses in Real-Time Systems in Computer Science and Computer Engineering departments, this book covers the advances in real-time operating systems and
ER  -