( en | de | ru )

 

Disambiguation of "Laleau, Régine"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Development of a Secure Access Control Filter.

, , and . HASE, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Régine Etienne

Régine Bonnefoit

Regine Scherer

Regine Schulz

Regine Höllerer

 

Other publications of authors with the same name

Reuse of Specification Patterns with the B Method., , and . ZB, volume 2651 of Lecture Notes in Computer Science, page 40-57. Springer, (2003)Assessment of a Formal Requirements Modeling Approach on a Transportation System., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 470-486. Springer, (2019)Modelling Hybrid Programs with Event-B., , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 139-154. Springer, (2020)An Event-B Model of an Automotive Adaptive Exterior Light System., , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 351-366. Springer, (2020)A formal approach based on UML and B for the specification and development of database applications., and . Autom. Softw. Eng., 13 (4): 497-528 (2006)Supporting Variability in Goal-based Requirements., , and . RCIS, page 237-246. IEEE, (2009)Introduction., and . Technique et Science Informatiques, 34 (5): 493-494 (2015)Using Variants in KAOS Goal Modelling., , , and . ICEIS (3-2), page 339-344. (2008)978-989-8111-38-8.From a B formal specification to an executable code: application to the relational database domain., and . Inf. Softw. Technol., 48 (4): 253-279 (2006)Using formal metamodels to check consistency of functional views in information systems specification., and . Inf. Softw. Technol., 50 (7-8): 797-814 (2008)