Formal methods for real-time computing View on Open Library

Formal methods for real-time computing

by Constance Heitmeyer , Dino Mandrioli

No reviews yet
First published: 1996 1 language ISBN: 0471958352
Description
xvii, 271 p. : 24 cm
Subjects
Real-time data processing Formal methods (Computer science)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Constance Heitmeyer

FM 2016 : Formal Methods

FM 2016 : Formal Methods

You Might Also Like

More in Real-time data proce...
Real-time digital signal processing

Real-time digital signal processing

Sen M. Kuo
Real-time system design and analysis

Real-time system design and analysis

Phillip A. Laplante
Design of real time computer systems

Design of real time computer systems

James Martin
Structured development for real time systems

Structured development for real time sys...

Paul T. Ward
Programming real-time computer systems

Programming real-time computer systems

James Martin
A real-time approach to process control

A real-time approach to process control

William Y. Svrcek