Model-Checking of Specifications Integrating Processes, Data and Time

Computer Science

• Process Data 100%
• Model Checking 100%
• Operational Semantics 33%
• Data Communication 33%
• Real Time Systems 33%
• Automaton 33%
• Data Variable 33%
• Timed Automaton 33%
• Checking Technique 33%
• model checker 33%
• Case Study 33%

INIS

• data 100%
• specifications 100%
• layers 33%
• calculi 33%
• constraints 33%
• verification 33%
• floors 33%
• real time systems 33%
• elevators 33%