Works matching IS 14332779 AND DT 2010 AND VI 12 AND IP 5

Results: 6
    1
    2
    3

    Data-abstraction refinement: a game semantic approach.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 5, p. 373, doi. 10.1007/s10009-010-0143-0
    By:
    • Bakewell, Adam;
    • Dimovski, Aleksandar;
    • Ghica, Dan;
    • Lazić, Ranko
    Publication type:
    Article
    4
    5

    Data decision diagrams for Promela systems analysis.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 5, p. 337, doi. 10.1007/s10009-010-0135-0
    By:
    • Beaudenon, Vincent;
    • Encrenaz, Emmanuelle;
    • Taktak, Sami
    Publication type:
    Article
    6

    Synthesis and stochastic assessment of cost-optimal schedules.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 5, p. 305, doi. 10.1007/s10009-009-0129-y
    By:
    • Mader, Angelika;
    • Bohnenkamp, Henrik;
    • Usenko, Yaroslav;
    • Jansen, David;
    • Hurink, Johann;
    • Hermanns, Holger
    Publication type:
    Article