Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
CESAR: Control Envelope Synthesis via Angelic Refinements
CESAR: Control Envelope Synthesis via Angelic Refinements
CESAR: Control Envelope Synthesis via Angelic Refinements
Kabra, Aditi (Autor:in) / Laurent, Jonathan (Autor:in) / Mitsch, Stefan (Autor:in) / Platzer, André (Autor:in)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; 30. ; 2024 ; Luxemburg
2024
Aufsatz (Konferenz)
Englisch
| British Library Online Contents | 1996
An Angelic role Concrete report
British Library Online Contents | 2010
Angelic conversations - Carmelite convent, Tromsø . LUND & SLAATTO
Online Contents | 1996
Online Contents | 2011
| Online Contents | 1998