( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Development of a Secure Access Control Filter.

, , и . HASE, стр. 173-180. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Régine Etienne

Régine Bonnefoit

Regine Reck

Regine Heller

Regine Heller

 

Другие публикации лиц с тем же именем

Design of an Automatic Prover Dedicated to the Refinement of Database Applications., и . FME, том 2805 из Lecture Notes in Computer Science, стр. 834-854. Springer, (2003)Model-driven Engineering of Functional Security Policies., , , , , , и . ICEIS (3), стр. 374-379. SciTePress, (2010)A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress., , , , и . FPS, том 6888 из Lecture Notes in Computer Science, стр. 218-226. Springer, (2011)Formal Requirements Modeling and Verification for Critical Systems.. ICEIS (1), стр. 19. SCITEPRESS, (2020)Using Variants in KAOS Goal Modelling., , , и . ICEIS (3-2), стр. 339-344. (2008)978-989-8111-38-8.Supporting Variability in Goal-based Requirements., , и . RCIS, стр. 237-246. IEEE, (2009)Reuse of Specification Patterns with the B Method., , и . ZB, том 2651 из Lecture Notes in Computer Science, стр. 40-57. Springer, (2003)Modelling Hybrid Programs with Event-B., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 139-154. Springer, (2020)An Event-B Model of an Automotive Adaptive Exterior Light System., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 351-366. Springer, (2020)A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction., и . APSEC (1), стр. 438-445. IEEE Computer Society, (2014)