Microprocessing and Microprogramming · 1989 · 16 citations · 1 references
EngineeringComputer EngineeringComputer ScienceFormal MethodsReal-time SystemsSystems ModelingDeductive VerificationModel ExecutionReal-time Systems ArchitectureReal-time Systems DesignTemporal LogicReal-time System ModelsReal-time System VerificationReal-time Systems ModelingReal-time Systems VerificationTimed Automata
1