International Journal on Software Tools for Technology Transfer - DTU Orbit

International Journal on Software Tools for Technology Transfer

ISSNs: 1433-2779

Springer, Germany

FI (2012): 1, ISI indexed (2012): no

Central database

Journal

View graph of relations

Publications

(2)

Published
Probabilistic Reachability for Parametric Markov Models
Publication: Research - peer-review › Journal article – Annual report year: 2011
Published
Behaviour Analysis for Validating Communication Patterns
Publication: Research - peer-review › Journal article – Annual report year: 1998

ID: 87565