Formal Methods Applied to Complex Systems

View on Open Library

Formal Methods Applied to Complex Systems

by Jean-Louis Boulanger

No reviews yet

First published: 2014 1 language ISBN: 9781119002727

Subjects

Computer science

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jean-Louis Boulanger

Formal Methods

Industrial Use of Formal Methods

Industrial Use of Formal Methods

Scade

Safety of Software-Based Systems

Safety of Software-Based Systems

Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Com...

Safety of computer architectures

Safety of computer architectures

You Might Also Like

More in Computer science

2001

Arthur C. Clarke

Les Robots

Isaac Asimov

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Prey

Michael Crichton

Neuromancer

William Gibson

Artemis Fowl and the Eternity Code

Artemis Fowl and the Eternity Code

Eoin Colfer