Construction and Analysis of Safe, Secure, and Interoperable Smart Devices View on Open Library

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

by Gilles Barthe , Lilian Burdy , Marieke Huisman , Jean-Louis Lanet , Traian Muntean

No reviews yet
First published: 2005 1 language ISBN: 9783540336914
Subjects
Computer science

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Gilles Barthe

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

L'enfance spirituelle

L'enfance spirituelle

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Trustworthy Global Computing

Trustworthy Global Computing

Applied Semantics

Applied Semantics

Software Engineering and Formal Methods

Software Engineering and Formal Methods

You Might Also Like

More in Computer science
2001

2001

Arthur C. Clarke
Les Robots

Les Robots

Isaac Asimov
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Prey

Prey

Michael Crichton
Neuromancer

Neuromancer

William Gibson
Artemis Fowl and the Eternity Code

Artemis Fowl and the Eternity Code

Eoin Colfer