Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I 2020 · ENGLISH · PDF View details →
LIBRARY Security and Quality in Cyber-Physical Systems Engineering: With Forewords by Robert M. Lee and Tom Gilb 2019 · ENGLISH · PDF View details →
Automotive Systems and Software Engineering: State of the Art and Future Trends 2019 · ENGLISH · PDF View details →
