Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
                             4 results found
no title author magazine year volume issue page(s) type
1 Parametric Analyses of Attack-fault Trees* André, Étienne

182 1 p. 69-94
2 Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* André, Étienne

182 1 p. 31-67
3 Preface Keller, Jörg

182 1 p. v-vi
4 Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions Felli, Paolo

182 1 p. 1-29
                             4 results found
 Koninklijke Bibliotheek - National Library of the Netherlands