‘High-integrity’ MPU is formally specified and verified

• Publisher: Elsevier Science
• Year: 1988
• Tongue: English
• Weight: 252 KB
• Volume: 12
• Category: Article
• ISSN: 0141-9331
• DOI: 10.1016/0141-9331(88)90020-8