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 İndekslerine Giren Dergi) identifier

  • Cilt numarası: 6 Konu: 2
  • Basım Tarihi: 2013
  • Doi Numarası: 10.1109/tsc.2011.55
  • Dergi Adı: IEEE Transactions on Services Computing
  • Sayfa Sayıları: ss.262-275