Auflistung Nach Schlagwort "cyber-physical systems" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

Bayesian hybrid automata: Reconciling formal methods with metrology

Kröger, Paul; Fränzle, Martin
265-275
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures

Gerking, Christopher; Schubert, David
43-44
Explainable software systems

Vogelsang, Andreas
193-196
Towards Model-Driven Engineering for Quantum AI

Moin,Armin; Challenger,Moharram; Badii,Atta; Günnemann,Stephan
1121-1131

Anzeige der Dokumente 1-4 von 4

«
»