( en | de | ru )

 

Disambiguierung von "Laleau, Régine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A First Attempt to Express KAOS Refinement Patterns with Event B.

, , und . ABZ, Volume 5238 von Lecture Notes in Computer Science, Seite 338. Springer, (2008)

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.

Régine Etienne

Régine Bonnefoit

Regine Heller

Regine Zeller

Regine Kahmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Design of an Automatic Prover Dedicated to the Refinement of Database Applications., und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 834-854. Springer, (2003)Formal Requirements Modeling and Verification for Critical Systems.. ICEIS (1), Seite 19. SCITEPRESS, (2020)Model-driven Engineering of Functional Security Policies., , , , , , und . ICEIS (3), Seite 374-379. SciTePress, (2010)A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress., , , , und . FPS, Volume 6888 von Lecture Notes in Computer Science, Seite 218-226. Springer, (2011)Modeling and Verification of Solidity Smart Contracts with the B Method., , , und . ICECCS, Volume 14784 von Lecture Notes in Computer Science, Seite 159-178. Springer, (2024)Modelling Hybrid Programs with Event-B., , und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 139-154. Springer, (2020)An Event-B Model of an Automotive Adaptive Exterior Light System., , und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 351-366. Springer, (2020)Preface., und . ReMo2V, Volume 241 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)A Four-concern-oriented Secure IS Development Approach., , , , , , und . SECRYPT, Seite 464-471. SciTePress, (2011)Using Variants in KAOS Goal Modelling., , , und . ICEIS (3-2), Seite 339-344. (2008)978-989-8111-38-8.