Search Results for Algorithms.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Yazar

Artho, Cyrille. editor.

https://doi.org/10.1007/978-3-030-12988-0

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product

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

Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Yazar

Geuvers, Herman. editor. (orcid)0000-0003-2522-2980

https://doi.org/10.1007/978-3-319-62075-6

Format:

Electronic Resources

Alıntı:

technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Yazar

Gallardo, María del Mar. editor.

https://doi.org/10.1007/978-3-319-94111-0

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Yazar

Abate, Alessandro. editor.

https://doi.org/10.1007/978-3-319-65765-3

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

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

Format:

Electronic Resources

Alıntı:

; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Yazar

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

https://doi.org/10.1007/978-3-319-68270-9

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and

	{displayName}	{count}
{error}