UID:
almafu_9959328834202883
Format:
1 online resource (xxiii, 524 pages) :
,
illustrations
ISBN:
0471460842
,
9780471460848
,
0471224626
,
9780471224624
,
9781613445075
,
1613445075
,
9780471648284
,
0471648280
Content:
The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. A handy reference for practitioners in the field.
Note:
REAL-TIME SYSTEMS CONTENTS PREFACE LIST OF FIGURES 1 INTRODUCTION 2 ANALYSIS AND VERIFICATION OF NON-REAL-TIME SYSTEMS 3 REAL-TIME SCHEDULING AND SCHEDULABILITY ANALYSIS.
,
4 MODEL CHECKING OF FINITE-STATE SYSTEMS 5 VISUAL FORMALISM, STATECHARTS, AND STATEMATE 6 REAL-TIME LOGIC, GRAPH-THEORETIC ANALYSIS, AND MODECHART 7 VERIFICATION USING TIMED AUTOMATA 8 TIMED PETRI NETS.
Additional Edition:
Print version: Cheng, Albert M.K. Real-time systems. Hoboken, NJ : Wiley-Interscience, 2002 ISBN 0471184063
Language:
English
Subjects:
Computer Science
Keywords:
Electronic books.
;
Electronic books.
;
Electronic books.
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/0471224626
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/0471224626
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/0471224626
Bookmarklink
