Search Results for Assessment.

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

Yazar

Ortmeier, Frank. editor.

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

Format:

Electronic Resources

Alıntı:

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Yazar

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

https://doi.org/10.1007/978-3-319-64119-5

Format:

Electronic Resources

Alıntı:

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Yazar

Bouajjani, Ahmed. editor.

https://doi.org/10.1007/978-3-319-60225-7

Format:

Electronic Resources

Alıntı:

model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly

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ı:

Railway Operational Procedures under the IT Security Threat -- Risk Assessment of the 3Des in the ERTMS

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ı:

Protocol -- Quantitative Verification of Weighted Kripke Structures -- Formal Safety Assessment via

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ı:

Non-omniscient Rational Agents: A Preliminary Report -- Answer-Set Programming A Complexity Assessment for

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

-- Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform

	{displayName}	{count}
{error}