Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

---

Atıf İçin Kopyala

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)

• 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