The observer-based technique for requirements validation in embedded real-time systems.

Jiale Zhou, Yue Lu, Kristina Lundqvist

Browse the full RE paper archive.