An Adaptive, Provable Correct Simplex Architecture

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Originalspracheenglisch
FachzeitschriftInternational Journal on Software Tools for Technology Transfer
PublikationsstatusAngenommen/In Druck - Sept. 2024

Dieses zitieren