Intelligent technical systems, which combine mechanical, electrical and software engineering with methods from control engineering and advanced mathematics, go

Intelligent technical systems, which combine mechanical, electrical and software engineering with control engineering and advanced mathematics, go far beyond th

Combining different perspectives from materials science, engineering, and computer science, this reference provides a unified view of the various aspects necess

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal ve

This book constitutes the refereed proceedings of the 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoC