Formal Approach to Safety‐Driven Dynamic Procedure Modeling

Fuente: Wiley Open Access
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Jean‐Charles Chaudemar, Kevin Delmas, Charles Mathou, Pierre de Saqui‐Sannes
Format: Artículo Open Access
Veröffentlicht: Wiley 2026
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!