Auflistung Nach Schlagwort "Formal Verification" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox

Adelt, Julius; Liebrenz, Timm; Herber, Paula
29-30
From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction

Tarraf, Ahmad; Hedrich, Lars
257-270
Modeling and Verification of Evolving Cyber-Physical Spaces

Tsigkanos, Christos; Kehrer, Timo; Ghezzi, Carlo
113-114
Verification of Plastic Interactive Systems

Oliveira, Raquel; Dupuy-Chessa, Sophie; Calvary, Gaëlle
192–204

Anzeige der Dokumente 1-4 von 4

«
»