( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Event-B formalization of a variability-aware component model patterns framework.

, , и . Sci. Comput. Program., (2020)

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.

Arnaud Mende

Arnaud Moris

Julien Arnaud

Arnaud Dewalque

Arnaud Casteigts

 

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

Correct-by-construction specification to verified code., , , и . J. Softw. Evol. Process., (2018)Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function., , и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 327-341. (2017)Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study., , , , и . ICECCS, стр. 43-52. IEEE Computer Society, (2016)Event-B Formalization of a Variability-Aware Component Model Patterns Framework., , и . FACS, том 11222 из Lecture Notes in Computer Science, стр. 54-74. Springer, (2018)Model-based formal specification of a DSL library for a qualified code generator., , и . OCL@MoDELS, стр. 61-62. ACM, (2012)Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs., , , и . OCL@MoDELS, том 1512 из CEUR Workshop Proceedings, стр. 89-104. CEUR-WS.org, (2015)Event-B formalization of a variability-aware component model patterns framework., , и . Sci. Comput. Program., (2020)Formal development process of safety-critical embedded human machine interface systems., , , , и . TASE, стр. 1-8. IEEE Computer Society, (2017)From Event-B to Verified C via HLL., , , и . CoRR, (2016)Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems., , и . FMICS-AVoCS, том 9933 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2016)