In: Rolf Drechsler; Ulrich Kühne. Formal Modeling and Verification of Cyber Physical Systems. Pages 224-248, ISBN 978-3-658-09993-0, Springer …
Barbara Imhof; Waltraut Hoheneder; Stephen Ransom; Robert Davenport; René Waclavicek; Jakob Schwendner; Mathias Goy; Martin Schröer; Thomas Vögele; Peter Weiss; Virginie Taillebot; Thibaud Gobert; Alistair Nottle; Matthew Roberts; Diego Urbina; Tom Hoppenbrouwers; Knut Robert Fossum; Brit-Eli Danielsen; Victor Parro Garcia; Fernando Puente-Sanchez
In: AIAA SPACE Conference and Exposition. AIAA SPACE Conference and Exposition (SPACE-2015), August 31 - September 2, Pasadena, CA, USA, 8/2015.
Jakob Schwendner; Mathias Goy; Martin Schröer; Thomas Vögele; P. Weiss; V. Taillebot; T. Gobert; A. Nolte; M. Roberts; B. Imhof; W. Hoheneder; S. Ransom; R. Davenport; R. Waclavicek; D. Urbina; T. Hoppenbrouwers; K. Fossum; V. Parro; O. Prieto; B. Gardette
In: Proceedings of the 22nd International Conference on Pattern Recognition. International Conference on Pattern Recognition (ICPR-2014), 22nd, August …