( en | de | ru )

 

Disambiguation of "Lemoine, Michel"

Author of the publication

copydeleteadd this publication to your clipboard
An attempt to combine UML and formal methods to model airport security.

, , , , , , , and . CAiSE Forum, volume 231 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)

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.

David Lemoine

Horst Lemoine

Horst Lemoine

Eveline Lemoine

Horst Lemoine

 

Other publications of authors with the same name

A Procedural Language for the Relational Data Base Management System "Syntex"., , and . IFIP Congress, page 453-457. (1977)A Survey: Applying Formal Methods to a Software Intensive System., , , , , , , , and . HASE, page 55-64. IEEE Computer Society, (2001)Security Requirements for Civil Aviation with UML and Goal Orientation., and . REFSQ, volume 4542 of Lecture Notes in Computer Science, page 292-299. Springer, (2007)Can Regulatory Bodies Expect Efficient Help from Formal Methods?., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 87-96. (2010)Managing (Requirements) Evolutions of High Assurance Systems., and . RE, page 91. IEEE Computer Society, (2002)Goal-oriented Analysis of Regulations., and . ReMo2V, volume 241 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Programming Development with or without Coding., , , , , and . IFIP Congress, page 327-330. (1980)Method Driven Programming., , , , and . IFIP Congress, page 351-356. North-Holland/IFIP, (1989)Preface., and . ReMo2V, volume 241 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Construction and Reuse of Formal Program Developments., , , , and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 120-136. Springer, (1991)