Search Results for Translation.

5 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ç

00000DEFAULTTR

Yazdır

1.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor.

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

Format:

Electronic Resources

Alıntı:

-- Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata -- PeCAn: Compositional

2.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor.

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

Format:

Electronic Resources

Alıntı:

-- Probabilistic Formal Verification of the SATS Concept of Operation -- Formal Translation of IEC 61131-3 Function

3.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings için kapak resmi

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

Yazar

Merz, Stephan. editor.

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

Format:

Electronic Resources

Alıntı:

Nets in PIPE+Verifier -- Fast Translation from LTL to Büchi Automata via Non-transition-Based Automata

4.

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings için kapak resmi

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Yazar

Calimeri, Francesco. editor.

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

Format:

Electronic Resources

Alıntı:

Transaction Logic -- Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences -- Doctoral

5.

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings için kapak resmi

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

Yazar

Fermé, Eduardo. editor.

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

Format:

Electronic Resources

Alıntı:

Inconsistency Measures -- A Translation-Based Approach for Revision of Argumentation Frameworks -- Dealing with

Tümünü Seç

1

5 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