Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 6

Results: 5
    1
    2

    Formal modeling and validation of Stateflow diagrams.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 653, doi. 10.1007/s10009-012-0235-0
    By:
    • Chen, Chunqing;
    • Sun, Jun;
    • Liu, Yang;
    • Dong, Jin;
    • Zheng, Manchun
    Publication type:
    Article
    3

    Compositional verification of real-time systems using Ecdar.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 703, doi. 10.1007/s10009-012-0237-y
    By:
    • David, Alexandre;
    • Larsen, Kim.;
    • Legay, Axel;
    • Møller, Mikael;
    • Nyman, Ulrik;
    • Ravn, Anders;
    • Skou, Arne;
    • Wąsowski, Andrzej
    Publication type:
    Article
    4
    5

    Constructive model-based analysis for safety assessment.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 673, doi. 10.1007/s10009-012-0238-x
    By:
    • Gomes, Adriano;
    • Mota, Alexandre;
    • Sampaio, Augusto;
    • Ferri, Felipe;
    • Watanabe, Edson
    Publication type:
    Article