Formal methods for embedded distributed systems

View on Open Library

Formal methods for embedded distributed systems

by Fabrice Kordon

No reviews yet

First published: 2004 1 language ISBN: 9781402079979

Subjects

Electronic data processing Distributed processing Embedded computer systems Electronic data processing, distributed processing

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Fabrice Kordon

Embedded Systems

Embedded Systems

Distibuted Systems

Distibuted Systems

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Syst...

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and...

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Tools and Algorithms for the Constructio...

Reliable systems on unreliable networked platforms

Reliable systems on unreliable networked...

You Might Also Like

More in Electronic data proc...

Tax administration

Tax administration

United States. General Accounting Office

Advances in imaging and electron physics

Advances in imaging and electron physics

Peter W. Hawkes

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Course ILT

Course Technology

Tax administration

Tax administration

United States. General Accounting Office

Introducing Computers

Introducing Computers

Robert H. Blissmer