Works by Pulungan, Reza


Results: 10
    1
    2
    3
    4
    5

    Compositional Dependability Evaluation for STATEMATE.

    Published in:
    IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 274, doi. 10.1109/TSE.2008.102
    By:
    • Böde, Eckard;
    • Herbstritt, Marc;
    • Hermanns, Holger;
    • Johr, Sven;
    • Peikenkamp, Thomas;
    • Pulungan, Reza;
    • Rakow, Jan;
    • Wimmer, Ralf;
    • Becker, Bernd
    Publication type:
    Article
    6
    7
    8
    9
    10