Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, RSP 2010, Fairfax, VA, USA, 8-11 June, 2010.
IEEE Computer Society 2010, ISBN 978-1-4244-7073-0
Doron Drusinsky, Man-tak Shing: Validating quality attribute requirements via execution-based model checking.
1-7
Martin Hillenbrand, Matthias Heinz, Klaus D. Müller-Glaser: Rapid specification of hardware-in-the-loop test systems in the automotive domain based on the electric / electronic architecture description of, vehicles.
1-6
data released under the ODC-BY 1.0 license
