Search Results for Reliability.

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Yazar

Skavhaug, Amund. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Yazar

Lecomte, Thierry. editor.

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

Format:

Electronic Resources

Alıntı:

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

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

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

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

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor.

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

Format:

Electronic Resources

Alıntı:

Reliability Analysis of an Ambient Assisted Living System -- Diagnosing Industrial Business Processes: Early

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45234-9

Format:

Electronic Resources

Alıntı:

Reliability Analysis of Evolving Structured Workflows -- Prototype-Driven Development of Web Applications with

	{displayName}	{count}
{error}