Search Results for Tools.

3 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

000DEFAULTTR

Yazdır

1.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I için kapak resmi

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor.

https://doi.org/10.1007/978-3-319-63387-9

Format:

Electronic Resources

Alıntı:

, with an emphasis on practical verification tools and the algorithms and techniques that are needed for

2.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor.

https://doi.org/10.1007/978-3-319-63390-9

Format:

Electronic Resources

Alıntı:

, with an emphasis on practical verification tools and the algorithms and techniques that are needed for

3.

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings için kapak resmi

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Yazar

Bartocci, Ezio. editor.

http://dx.doi.org/10.1007/978-3-319-23820-3

Format:

Electronic Resources

Alıntı:

-- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool

Tümünü Seç

1

3 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2