( en | de | ru )

 

Disambiguation of "Motet, Gilles"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for Assessing Safety Argumentation Confidence.

, , and . SERENE, volume 9823 of Lecture Notes in Computer Science, page 3-12. Springer, (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.

Harald Gilles

Susanne Gilles

Alfons Gilles

Wolfgang Gilles

Josef Gilles

 

Other publications of authors with the same name

Use of constraints in Petri nets and their novel applications., , and . SMC, page 32-37. IEEE, (1998)System Safety Requirements as Control Structures., and . COMPSAC (1), page 324-331. IEEE Computer Society, (2009)Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process.. PEARL, page 21-30. Springer, (2002)Formalizing Safety Requirements Using Controlling Automata, and . CoRR, (2009)Dependable computing: an overview., and . Theor. Comput. Sci., 290 (2): 1115-1126 (2003)UML 2.0 Consistency Rules Identification., , and . Software Engineering Research and Practice, page 175-181. CSREA Press, (2005)A UML model consistency verification approach based on meta-modeling formalization., and . SAC, page 1804-1809. ACM, (2006)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 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)Design of dependable Ada software., , and . BCS practitioner series Prentice Hall, (1995)