Verfasser Suchresultate :: Subito Katalog

1

Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques

von Lavaei, Abolfazl
Veröffentlicht 2019

Volltext
Volltext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Automated verification and control of large-scale stochastic cyber-physical systems: compositional techniques

von Lavaei, Abolfazl
Veröffentlicht 2019

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

von Lavaei, Abolfazl
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: