Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

Creative Commons License

Betin-Can A., Hallé S., Bultan T.

IEEE Transactions on Services Computing, cilt.6, sa.2, ss.262-275, 2013 (SCI-Expanded) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 6 Sayı: 2
  • Basım Tarihi: 2013
  • Doi Numarası: 10.1109/tsc.2011.55
  • Dergi Adı: IEEE Transactions on Services Computing
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.262-275
  • Orta Doğu Teknik Üniversitesi Adresli: Evet