Publication | Closed Access
Design of dynamically checked computers.
301
Citations
0
References
1968
Year
EngineeringRuntime VerificationChecked ComputersVerificationFormal MethodsComputer ArchitectureComputer EngineeringComputer-aided VerificationComputer ScienceModel CheckingFormal VerificationSystem Software
No additional data available for this publication yet. Check back later!