๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE 2002 IEEE Aerospace Conference - Big Sky, MT, USA (9-16 March 2002)] Proceedings, IEEE Aerospace Conference - Using SPIN model checking for flight software verification

โœ Scribed by Gluck, P.R.; Holzmann, G.J.


Book ID
111912472
Publisher
IEEE
Year
2002
Weight
821 KB
Volume
1
Category
Article
ISBN-13
9780780372313

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES