IFAC Proceedings Volumes · 1992 · 11 citations · 1 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureHardware-software Co-designSafety EngineeringInstruction Set ArchitectureProcessor Core DesignProcessor MicroarchitectureSafety SystemsSafety-critical Embedded SystemsSafety-critical SystemsHardware SafetySafety-critical SoftwareSafety-critical Software ArchitectureSafety-critical Software EngineeringSoftware Safety
1
Systematic software development using VDM
Sunil Vadera · Data Processing · 1986 · 1.1K citations
Computing, Systems Engineering, Requirements Engineering +11