Safe service customization
暂无分享,去创建一个
Tiziana Margaria | Haiseung Yoo | T. Margaria | B. Steffen | V. Braun | Haiseung Yoo | T. Rychlý | B. Steffen | V. Braun | T. Rychly
[1] Tiziana Margaria,et al. A Constraint-Oriented Service Creation Environment , 1996, TACAS.
[2] Tiziana Margaria,et al. Heterogeneous Analysis and Verification for Distributed Systems , 1996, Softw. Concepts Tools.
[3] Tiziana Margaria,et al. Method engineering for real-life concurrent systems , 1996, CSUR.
[4] Tiziana Margaria,et al. The METAFrame'95 Environment , 1996, CAV.
[5] Tiziana Margaria,et al. Tools get formal methods into practice , 1996, CSUR.
[6] Tiziana Margaria,et al. Incremental Formalization , 1996, AMAST.