𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE COMPASS '95. Tenth Annual Conference on Computer Assurance - Gaithersburg, MD, USA (25-29 June 1995)] COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' - Safety and Security Issues in Developing and Operating Intelligent Transportation Systems

✍ Scribed by Lawrence, J.D.

Book ID: 127180551
Publisher: IEEE
Year: 1995
Tongue: English
Weight: 220 KB
Category: Article
ISBN-13: 9780780326804
DOI: 10.1109/cmpass.1995.521896

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Fourth Annual Conference on Comput

[IEEE Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - Gaithersburg, MD, USA (19-23 June 1989)] Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - Condition testing for software quality assurance

✍ Tai, K.C. 📂 Article 📅 1989 🏛 IEEE ⚖ 453 KB

[IEEE Fourth Annual Conference on Comput

[IEEE Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - Gaithersburg, MD, USA (19-23 June 1989)] Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - Formal verification of microprocessors

✍ Srivas, M.; Bickford, M. 📂 Article 📅 1989 🏛 IEEE ⚖ 847 KB

[IEEE Fourth Annual Conference on Comput

[IEEE Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - Gaithersburg, MD, USA (19-23 June 1989)] Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security - Experimental evaluation of six test techniques

✍ Lauterbach, L.; Randall, W. 📂 Article 📅 1989 🏛 IEEE ⚖ 472 KB

[IEEE Fifth Annual Conference on Compute

[IEEE Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security - Gaithersburg, MD, USA (1990.06.25-1990.06.28)] Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. - A formal approach to railway signalling

✍ Cullyer, W.J.; Wong, W. 📂 Article 📅 1990 🏛 IEEE ⚖ 436 KB