Structural Health Monitoring and Damage Detection, Volume 7 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015

Space Architecture Education for Engineers and Architects Designing and Planning Beyond Earth

Human Migration to Space Alternative Technological Approaches for Long-Term Adaptation to Extraterrestrial Environments

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015