This book constitutes the proceedings of the 12th International Symposium on Automated Technology...

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant con...

This book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...