Arama sonucunda 1 kayıt bulundu.
AN APPROACH FOR AUTOMATED VERIFICATION OF WEB APPLICATIONS USING MODEL CHECKING AND REPLAYING THE SCENARIOS OF COUNTER EXAMPLE
Web uygulamalarının model denetleme kullanılarak otomatik doğrulanması ve karşı örnek senaryolarının oynatılması için bir yaklaşım
Yükleniyor
Tez No: 409166