( en | de | ru )

 

Disambiguation of "Motet, Gilles"

Author of the publication

copydeleteadd this publication to your clipboard
Towards better support for the evolution of safety requirements via the model monitoring approach.

, and . ICSE (2), page 219-222. ACM, (2010)978-1-60558-719-6.

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.

Wolfgang Gilles

Josef Gilles

Peter Gilles

Annelie Gilles

Ingrid Gilles

 

Other publications of authors with the same name

Formalizing Safety Requirements Using Controlling Automata, and . CoRR, (2009)Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process.. PEARL, page 21-30. Springer, (2002)System Safety Requirements as Control Structures., and . COMPSAC (1), page 324-331. IEEE Computer Society, (2009)Use of constraints in Petri nets and their novel applications., , and . SMC, page 32-37. IEEE, (1998)UML 2.0 Consistency Rules Identification., , and . Software Engineering Research and Practice, page 175-181. CSREA Press, (2005)A Language-Theoretic View on Guidelines and Consistency Rules of UML., and . ECMDA-FA, volume 5562 of Lecture Notes in Computer Science, page 66-81. Springer, (2009)Towards better support for the evolution of safety requirements via the model monitoring approach., and . ICSE (2), page 219-222. ACM, (2010)978-1-60558-719-6.A UML model consistency verification approach based on meta-modeling formalization., and . SAC, page 1804-1809. ACM, (2006)Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction., and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 487-488. Springer, (1999)Nevertrace Claims for Model Checking., and . SPIN, volume 6349 of Lecture Notes in Computer Science, page 162-179. Springer, (2010)