References of "International Journal on Software Tools for Technology Transfer"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailVerification and abstraction of real-time variability-intensive systems
Cordy, Maxime UL; Legay, Axel

in International Journal on Software Tools for Technology Transfer (2019), 21(6), 635-649

Detailed reference viewed: 67 (1 UL)
Full Text
Peer Reviewed
See detailLearning probabilistic models for model checking: an evolutionary approach and an empirical study
Wang, Jingyi; Sun, Jun; Yuan, Qixia et al

in International Journal on Software Tools for Technology Transfer (2018), 20(6), 689-704

Detailed reference viewed: 116 (4 UL)