TS-U: Temporal-spatial methodology for application checking of the systems in the ubiquitous environment

Keyphrases

• Spatial-temporal 100%
• Ubiquitous Environment 100%
• Time Constraints 100%
• Space Constraints 100%
• Spatial Methodology 100%
• Novel Methodology 50%
• Model Checking Techniques 50%
• Model Checking Tools 50%
• Traditional Models 50%
• Holding Time 50%
• Model Transition 50%
• Ubiquitous Systems 50%
• Kripke Structure 50%

Computer Science

• Model Checking 100%
• Ubiquitous Environment 100%
• Checking Technique 33%
• Transition Model 33%
• Traditional Model 33%
• Kripke Structure 33%