𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Srivas, M.; Bickford, M.

Book ID: 126731245
Publisher: IEEE
Year: 1989
Weight: 847 KB
Category: Article
DOI: 10.1109/CMPASS.1989.76046

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 - 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

[IEEE COMPASS '95. Tenth Annual Conferen

[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

✍ Lawrence, J.D. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 220 KB