Verfasser Suchresultate :: Subito Katalog

1

Behavioural safety of technical systems : = Verhaltenssicherheit technischer Systeme

von Gleirscher, Mario
Veröffentlicht 2014

Volltext
Volltext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Supervision of Intelligent Systems: An Overview

von Gleirscher, Mario
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

von Foster, Simon
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: