Formal methods and hybrid real-time systems View on Open Library

Formal methods and hybrid real-time systems

by D. Bjørner , Jones, C. B. , Jim Woodcock

No reviews yet
First published: 2007 1 language ISBN: 9783540752219
Subjects
Formal methods (Computer science) Congresses Real-time data processing System design

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by D. Bjørner

Logics of specification languages

Logics of specification languages

Formal methods in programming and their applications

Formal methods in programming and their ...

Formal specification and software development

Formal specification and software develo...

Baltic computer science

Baltic computer science

The Vienna development method

The Vienna development method

Software engineering

Software engineering

You Might Also Like

More in Formal methods (Comp...
Software Specification Methods

Software Specification Methods

Henri Habrias
Communicating embedded systems

Communicating embedded systems

Claude Jard
Formal methods for components and objects

Formal methods for components and object...

Frank S. de Boer
Computer-aided reasoning

Computer-aided reasoning

Matt Kaufmann
Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distrib...

Michael Alexander
Extension Innovation Method

Extension Innovation Method

Chunyan Yang