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++
