( en | de | ru )

 

Disambiguierung von "Laleau, Régine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Development of a Secure Access Control Filter.

, , und . HASE, Seite 173-180. IEEE Computer Society, (2016)

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 Neumerkel

Regine Kahl

Regine Kamm

 

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)Using Variants in KAOS Goal Modelling., , , und . ICEIS (3-2), Seite 339-344. (2008)978-989-8111-38-8.Supporting Variability in Goal-based Requirements., , und . RCIS, Seite 237-246. IEEE, (2009)Reuse of Specification Patterns with the B Method., , und . ZB, Volume 2651 von Lecture Notes in Computer Science, Seite 40-57. Springer, (2003)A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction., und . APSEC (1), Seite 438-445. IEEE Computer Society, (2014)From a B formal specification to an executable code: application to the relational database domain., und . Inf. Softw. Technol., 48 (4): 253-279 (2006)Assessment of a Formal Requirements Modeling Approach on a Transportation System., , , , , und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 470-486. Springer, (2019)