Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
2018
1 Online-Ressource
Book
Electronic Resource
English
DDC: | 629.892 |
AN ASSUME-GUARANTEE FRAMEWORK FOR MULTIPLE-OBSTACLE COLLISION AVOIDANCE
British Library Conference Proceedings | 2021
|