13 results on '"Bengtsson, Johan"'
Search Results
2. Supporting People with Dementia Using Pervasive Healthcare Technologies
3. Creating Digital Life Stories through Activity Recognition with Image Filtering
4. Using Agents for Long-Term Digital Reservation the PROTAGE Project
5. Home Based Assistive Technologies for People with Mild Dementia
6. Timed Automata: Semantics, Algorithms and Tools
7. On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata
8. UppaaL Implementation Secrets
9. UPPAAL - Now, Next, and Future
10. Partial order reductions for timed systems
11. Verification of an Audio Protocol with bus collision using Uppaal
12. UPPAAL — a tool suite for automatic verification of real-time systems
13. Uppaal in 1995
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.