Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - Simulation and Modeling.

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

2024-06-06T10:08:53Z

Yazar Guan, Nan. editor.
https://doi.org/10.1007/978-3-030-35540-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2024-06-06T10:08:53Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-06-06T10:08:53Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

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

2024-06-06T10:08:53Z

Yazar Collart-Dutilleul, Simon. editor.
https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources

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

2024-06-06T10:08:53Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-06-06T10:08:53Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2024-06-06T10:08:53Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555
https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources

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

2024-06-06T10:08:53Z

Yazar Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-06-06T10:08:53Z

Yazar Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-06-06T10:08:53Z

Yazar Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-06-06T10:08:53Z

Yazar McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-06-06T10:08:53Z

Yazar de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-06-06T10:08:53Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2024-06-06T10:08:53Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

2024-06-06T10:08:53Z

Yazar van der Aalst, Wil. editor.
https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2024-06-06T10:08:53Z

Yazar Criado Pacheco, Natalia. editor.
https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2024-06-06T10:08:53Z

Yazar Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X
https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

2024-06-06T10:08:53Z

Yazar James, Phillip. editor.
https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2024-06-06T10:08:53Z

Yazar Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources

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

2024-06-06T10:08:53Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2024-06-06T10:08:53Z

Yazar Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources

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

2024-06-06T10:08:53Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2024-06-06T10:08:53Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources

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

2024-06-06T10:08:53Z

Yazar Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2024-06-06T10:08:53Z

Yazar Aichernig, Bernhard K. editor.
http://dx.doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-06-06T10:08:53Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

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

2024-06-06T10:08:53Z

Yazar Rovatsos, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2024-06-06T10:08:53Z

Yazar Cook, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2024-06-06T10:08:53Z

Yazar Kohlhase, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

2024-06-06T10:08:53Z

Yazar Friedrich, Gerhard. editor.
http://dx.doi.org/10.1007/978-3-319-46073-4
Format: Electronic Resources

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

2024-06-06T10:08:53Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-21215-9
Format: Electronic Resources

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

2024-06-06T10:08:53Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-17130-2
Format: Electronic Resources

KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

2024-06-06T10:08:53Z

Yazar Hölldobler, Steffen. editor.
http://dx.doi.org/10.1007/978-3-319-24489-1
Format: Electronic Resources

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

2024-06-06T10:08:53Z

Yazar Li, Xuandong. editor.
http://dx.doi.org/10.1007/978-3-319-25942-0
Format: Electronic Resources

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

2024-06-06T10:08:53Z

Yazar Boniol, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

2024-06-06T10:08:53Z

Yazar Seidl, Martina. editor.
http://dx.doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-06-06T10:08:53Z

Yazar Combemale, Benoît. editor.
http://dx.doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources

KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings

2024-06-06T10:08:53Z

Yazar Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-11206-0
Format: Electronic Resources