Related Books

Formal Synthesis of Safety Controller Code for Distributed Controllers
Language: en
Pages: 161
Authors: Dirk Missal
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

Modern control systems in manufacturing are characterized by rising complexity in size and functionality. They are highly decentralized and constitute a network
Technologies for Engineering Manufacturing Systems Control in Closed Loop
Language: en
Pages: 148
Authors: Sebastian Preuße
Categories: Computers
Type: BOOK - Published: 2013 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Uberprufung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei
Distributed Computing and Internet Technology
Language: en
Pages: 475
Authors: Raja Natarajan
Categories: Computers
Type: BOOK - Published: 2015-01-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, held in Bhuba
Coordination Models and Languages
Language: en
Pages: 205
Authors: Eva Kühn
Categories: Computers
Type: BOOK - Published: 2014-05-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in
NASA Formal Methods
Language: en
Pages: 410
Authors: Julia M. Badger
Categories: Computers
Type: BOOK - Published: 2019-05-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full a