Search Results for Reliability.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

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

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Yazar

Xu, Dachuan. editor.

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

Format:

Electronic Resources

Alıntı:

; computational learning theory; cryptography, reliability and security; database theory, computational biology

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

Yazar

Jürgensen, Helmut. editor.

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

Format:

Electronic Resources

Alıntı:

., software reliability, software and hardware testing, modeling of natural languages) -- Nature-motivated

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

Yazar

Guerraoui, Rachid. editor.

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

Format:

Electronic Resources

Alıntı:

, enhancing code reliability, and boosting productivity. Over the last decade TM has been subject to intense

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

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Yazar

Falcone, Yliès. editor.

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

Format:

Electronic Resources

Alıntı:

Reliability -- Predicting Space Requirements for a Stream Monitor Specification Language -- A Stream-based

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}