Be the first to review “Formal verification of a telerehabilitation system through an abstraction and refinement approach using UPPAAL” Cancel reply
Formal verification of a telerehabilitation system through an abstraction and refinement approach using UPPAAL
$2,320.00
Formal verification of a telerehabilitation system through an abstraction and refinement approach using UPPAAL
$2,320.00
Research Materials Available – Subject to Confirmation
- Design & Schematics
- Code
- Simulations
- Documentation
Research materials: Availability, pricing, and conditions will be checked. Then, a detailed offer will be provided. Please note: Availability and pricing are subject to author confirmation.
Spatial Impressions Monitoring during COVID-19 Pandemic Using Machine Learning Techniques 
Development of content-based SMS classification application by using Word2Vecbased feature extraction 
Enhanced framework for ensemble effort estimation by using recursive‐based classification 
A cross‐project defect prediction method based on multi adaptation and nuclear norm 
Reinforcing SLA Consensus on Blockchain 
An In-Depth Study of Personalized Anesthesia Management Models in Gastrointestinal Endoscopy Based on Multimodal Deep Learning 
An Empirical Review of Automated Machine Learning 
A Novel Remote Sensing Recognition Using Modified GMM Segmentation and DenseNet 
A Multi-Dimensional Resource Allocation Scheme: In Beam Hopping Technique Enhanced MF-TDMA Satellite Systems 
Enhancing Robots Navigation in Internet of Things Indoor Systems 
An Enhanced Vehicle-to-Vehicle Wireless Power Transfer System for Electric Vehicle Applications Using a Reconfigurable Coil Approach 
Machine Learning Approaches to Traffic Accident Analysis and Hotspot Prediction 
Bandwidth-tunable optical filter based on microring resonator and MZI with Fano resonance 
Applying gamification elements to build teams for software development 
Novel insulation panels development from multilayered coir short and long fiber reinforced phenol formaldehyde polymeric biocomposites 
Tool support for managing repetitive program changes in evolving software
Reviews
There are no reviews yet.