( en | de | ru )

 

Disambiguierung von "de Saqui-Sannes, Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining STPA with SysML Modeling.

, , , , und . SysCon, Seite 1-8. IEEE, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jean-Pierre De Rycke

Jean Pierre de Reynier

Walter Helmut Sannes

Pierre Mattern

Pierre Gottschlich

 

Weitere Publikationen von Autoren mit dem selben Namen

Test of preemptive real-time systems., , und . AICCSA, Seite 734-742. IEEE Computer Society, (2008)Modeling UAS Flight Procedures for SORA Safety Objectives., , , und . SysCon, Seite 1-8. IEEE, (2023)ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project., und . FORTE, Seite 15-29. North-Holland, (1988)Adding a methodological assistant to a protocol modeling environment., und . NOTERE, Seite 12:1-12:12. ACM, (2008)Mutation of Formally Verified SysML Models., , , , und . MODELSWARD, Seite 31-42. SCITEPRESS, (2023)Populating MBSE Models from MDAO Analysis., , , , und . ISSE, Seite 1-8. IEEE, (2021)SysML Models Verification Relying on Dependency Graphs., , , und . MODELSWARD, Seite 174-181. SCITEPRESS, (2022)TURTLE-P: a UML profile for the formal validation of critical and distributed systems., , und . Softw. Syst. Model., 5 (4): 449-466 (2006)Test Sequence Generation From Formally Verified SysML Models., und . Software Engineering (Workshops), Volume 2308 von CEUR Workshop Proceedings, Seite 67-74. CEUR-WS.org, (2019)A SysML Method with Network Dimensioning., , und . ISSE, Seite 1-8. IEEE, (2019)