Trusted Systems View on Open Library

Trusted Systems

by Roderick Bloem , Peter Lipp

No reviews yet
First published: 2013 1 language ISBN: 9783319034911

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Roderick Bloem

Decidability of Parameterized Verification

Decidability of Parameterized Verificati...

Handbook of Model Checking

Handbook of Model Checking

Computer Aided Verification

Computer Aided Verification

Software Verification

Software Verification

Hardware and Software : Verification and Testing

Hardware and Software : Verification and...

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings

Trusted Systems 5th International Confer...