Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Simon Tjell
Expressing Environment Assumptions and Real-Time Requirements for a Distributed Embedded System With Shared Variables
IFIP – The International Federation for Information Processing
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
Model-Based Analysis of a Windmill Communication System
Validation Support for Distributed Real-Time Embedded Systems in VDM++
Related publications
Communicating Shared Resources: A Model for Distributed Real-Time Systems
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems
Constraints and System Primitives in Achieving Multilevel Security in Real Time Distributed System Environment
Robust and Real-Time Lane Marking Detection for Embedded System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time System = Discrete System + Clock Variables
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Copies Convergence in a Distributed Real-Time Collaborative Environment
A Hybrid Embedded Real-Time Operating System for Wireless Sensor Networks
Journal of Networks
Using Test Clouds to Enable Continuous Integration Testing of Distributed Real-Time and Embedded System Applications
Advances in Computer and Electrical Engineering
