Works matching IS 14332779 AND DT 2018 AND VI 20 AND IP 3


Results: 6
    1
    2
    3
    4

    Formal methods for transport systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 237, doi. 10.1007/s10009-018-0487-4
    By:
    • ter Beek, Maurice H.;
    • Gnesi, Stefania;
    • Knapp, Alexander
    Publication type:
    Article
    5
    6