Sold Out
Book Categories |
Series Editor's Preface | ||
Preface | ||
List of Authors | ||
1 | Formal Methods for Real-Time Computing: An Overview | 1 |
2 | Specification and Analysis of Real-Time Systems: Modechart Language and Toolset | 33 |
3 | Automata-Theoretic Verification of Real-Time Systems | 55 |
4 | Formal Verification of Real-Time Systems Using Timed Automata | 83 |
5 | Refining System Requirements to Program Specifications | 107 |
6 | A Petri Net and Logic Approach to the Specification and Verification of Real-Time Systems | 135 |
7 | A Process Algebraic Method for the Specification and Analysis of Real-Time Systems | 167 |
8 | Constraint-Oriented Specification Style for Time-Dependent Behaviours | 195 |
9 | Analysis of Real-Time Systems using Symbolic Techniques | 217 |
10 | End-to-End Design of Real-Time Systems | 237 |
Index | 267 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionFormal Methods for Real-Time Computing
X
This Item is in Your InventoryFormal Methods for Real-Time Computing
X
You must be logged in to review the productsX
X
X
Add Formal Methods for Real-Time Computing, Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, a, Formal Methods for Real-Time Computing to the inventory that you are selling on WonderClubX
X
Add Formal Methods for Real-Time Computing, Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, a, Formal Methods for Real-Time Computing to your collection on WonderClub |