Formal Approach to Safety‐Driven Dynamic Procedure Modeling

Fuente: Wiley Open Access
Guardado en:
Detalles Bibliográficos
Autores principales: Jean‐Charles Chaudemar, Kevin Delmas, Charles Mathou, Pierre de Saqui‐Sannes
Formato: Artículo Open Access
Publicado: Wiley 2026
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!