( en | de | ru )

 

Disambiguation of "Lanoix, Arnaud"

Author of the publication

copydeleteadd this publication to your clipboard
Extending OpenAPI 3.0 to Build Web Services from their Specification.

, , , and . WEBIST, page 412-419. SciTePress, (2018)

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.

Arnaud Lanoix

Arnaud Moris

Julien Arnaud

Arnaud Mende

Arnaud Dewalque

 

Other publications of authors with the same name

Extending OpenAPI 3.0 to Build Web Services from their Specification., , , and . WEBIST, page 412-419. SciTePress, (2018)Systematic Construction of Critical Embedded Systems Using Event-B., , and . MEDI Workshops, volume 929 of Communications in Computer and Information Science, page 200-216. Springer, (2018)A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models., , , and . MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 9-33. Springer, (2018)A Model-Driven Method for Fast Building Consistent Web Services in Practice., , , and . MODELSWARD, page 15-24. SciTePress, (2018)Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies., , , and . FACS@FMWeek, volume 263 of Electronic Notes in Theoretical Computer Science, page 5-30. Elsevier, (2009)Introducing probabilistic reasoning within Event-B., , and . Softw. Syst. Model., 18 (3): 1953-1984 (2019)How to Verify and Exploit a Refinement of Component-Based Systems, and . (2007)A Step-by-step Process to Build Conform UML Protocol State Machines, and . (2006)Towards Validating a Platoon of Cristal Vehicles Using CSP||B, , , and . (2008)Using Event-B to Verify the Kmelia Components and Their Assemblies., , , and . ASM, volume 5977 of Lecture Notes in Computer Science, page 410. Springer, (2010)