Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache

Sonntag, ChristianFischer, StephanEngell, Sebastian2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8676en18th IFACTime AutomatonControl Engineer Practice18th IFAC WorldUnify SemanticSystematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in AblaufspracheText/Journal Article10.1007/BF033234930720-8928