( en | de | ru )

 

Disambiguation of "Vallée, Frédérique"

Author of the publication

copydeleteadd this publication to your clipboard
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.

, , , , and . MoDeVVa@MoDELS, volume 1235 of CEUR Workshop Proceedings, page 39-48. CEUR-WS.org, (2014)

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.

Dirk Vallée

Mathias Vallée

Fabrice Vallée

Albert Vallée

Hans Vallée

 

Other publications of authors with the same name

Report on the Railway Use-Case of the Crystal Project: Objectives and Progress., , , and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 130-136. Springer, (2014)UML Developments: Cost Estimation from Requirements., and . ECSQ, volume 2349 of Lecture Notes in Computer Science, page 156-164. Springer, (2002)Formal Safety and Security Assessment of an Avionic Architecture with Alloy., , , , and . ESSS, volume 150 of EPTCS, page 8-19. (2014)FIABILOG: a software reliability tool and its application to space projects., and . ISSRE, page 296-302. IEEE Computer Society, (1994)M-elopee: a CASE tool for software reliability study., , , and . ISSRE, page 381-386. IEEE Computer Society, (1995)Reliability evaluation using NHPP models., and . ISSRE, page 157-162. IEEE Computer Society, (1991)Facing ADAS validation complexity with usage oriented testing., , , , , , , , and . CoRR, (2016)A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures., , , , and . MoDeVVa@MoDELS, volume 1235 of CEUR Workshop Proceedings, page 39-48. CEUR-WS.org, (2014)Software quality metrics in space systems., and . ISSRE, page 296-302. IEEE Computer Society, (1992)