Jiale Zhou, Yue Lu, Kristina Lundqvist. The observer-based technique for requirements validation in embedded real-time systems. In Michael Felderer, Elizabeth Bjarnason, Matt Staats, Mirko Morandini, Markus Borg, Michael Unterkalmsteiner, editors, 1st IEEE International Workshop on Requirements Engineering and Testing, RET 2014, Karlskrona, Sweden, August 26, 2014. pages 47-54, IEEE, 2014. [doi]
Abstract is missing.