Distributed Adaptive Systems - Theory, Specification, Reasoning

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang. Distributed Adaptive Systems - Theory, Specification, Reasoning. In Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Volume 10817 of Lecture Notes in Computer Science, pages 16-30, Springer, 2018. [doi]

Authors

Klaus-Dieter Schewe

This author has not been identified. Look up 'Klaus-Dieter Schewe' in Google

Flavio Ferrarotti

This author has not been identified. Look up 'Flavio Ferrarotti' in Google

Loredana Tec

This author has not been identified. Look up 'Loredana Tec' in Google

Qing Wang

This author has not been identified. Look up 'Qing Wang' in Google