Search Results for Reliability.

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.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Yazar

Collart-Dutilleul, Simon. editor.

https://doi.org/10.1007/978-3-030-18744-6

Format:

Electronic Resources

Alıntı:

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and

2.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

https://doi.org/10.1007/978-3-030-32079-9

Format:

Electronic Resources

Alıntı:

verification techniques are lightweight techniques to assess system correctness, reliability, and robustness

3.

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers için kapak resmi

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Yazar

Rovatsos, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

stigmergic approach using agents and artifacts -- Collaborative Framework for Monitoring Reliability of

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