Wonder Club world wonders pyramid logo
×

Formal Methods for Real-Time Computing Book

Formal Methods for Real-Time Computing
Be the First to Review this Item at Wonderclub
X
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
out of 5 stars based on 0 reviews
5
0 %
4
0 %
3
0 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Formal Methods for Real-Time Computing
  • Written by author Constance Heitmeyer, Dino Mandrioli
  • Published by Wiley-Blackwell, 1996/03/26
  • 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
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

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
WonderClub Home

This item is in your Wish List

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

X
WonderClub Home

This item is in your Collection

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

Formal Methods for Real-Time Computing

X
WonderClub Home

This Item is in Your Inventory

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

Formal Methods for Real-Time Computing

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: