Search Results for - Narrowed by: Logic design. - Simulation and Modeling.

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

2024-09-25T12:00:01Z

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

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

2024-09-25T12:00:01Z

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

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

2024-09-25T12:00:01Z

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-09-25T12:00:01Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-09-25T12:00:01Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

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

2024-09-25T12:00:01Z

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

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2024-09-25T12:00:01Z

by Ribeiro, Leila. editor.
https://doi.org/10.1007/978-3-319-49815-7
Format: Electronic Resources

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

2024-09-25T12:00:01Z

by Kohlhase, Michael. editor.
https://doi.org/10.1007/978-3-319-42547-4
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-09-25T12:00:01Z

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

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

2024-09-25T12:00:01Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-319-56390-9
Format: Electronic Resources

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

2024-09-25T12:00:01Z

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

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2024-09-25T12:00:01Z

by Cinquemani, Eugenio. editor.
https://doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2024-09-25T12:00:01Z

by Festa, Paola. editor.
https://doi.org/10.1007/978-3-319-50349-3
Format: Electronic Resources

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-09-25T12:00:01Z

by Fiems, Dieter. editor.
https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

2024-09-25T12:00:01Z

by Comyn-Wattiau, Isabelle. editor.
https://doi.org/10.1007/978-3-319-46397-1
Format: Electronic Resources

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2024-09-25T12:00:01Z

by Fränzle, Martin. editor.
https://doi.org/10.1007/978-3-319-47677-3
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-09-25T12:00:01Z

by van Eekelen, Marko. editor.
https://doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2024-09-25T12:00:01Z

by Liu, Zhiming. editor.
https://doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2024-09-25T12:00:01Z

by Kapitsaki, Georgia M. editor.
https://doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-09-25T12:00:01Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2024-09-25T12:00:01Z

by Lamprecht, Anna-Lena. editor.
https://doi.org/10.1007/978-3-319-51641-7
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-09-25T12:00:01Z

by Agha, Gul. editor.
https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-09-25T12:00:01Z

by Steffen, Bernhard. editor.
https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2024-09-25T12:00:01Z

by Hornby, Gregory S. editor.
http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2024-09-25T12:00:01Z

by Al-Begain, Khalid. editor.
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2024-09-25T12:00:01Z

by Forbrig, Peter. editor.
http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2024-09-25T12:00:01Z

by Egerstedt, Magnus. editor.
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2024-09-25T12:00:01Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Electronic Resources

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2024-09-25T12:00:01Z

by Gulliksen, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Electronic Resources

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-09-25T12:00:01Z

by Bemporad, Alberto. editor.
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2024-09-25T12:00:01Z

by Kang, Lishan. editor.
http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Electronic Resources

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-09-25T12:00:01Z

by Winckler, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Electronic Resources

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-09-25T12:00:01Z

by Coninx, Karin. editor.
http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2024-09-25T12:00:01Z

by Moreno Díaz, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-75867-9
Format: Electronic Resources

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2024-09-25T12:00:01Z

by Hespanha, João P. editor.
http://dx.doi.org/10.1007/11730637
Format: Electronic Resources

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2024-09-25T12:00:01Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/11823063
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2024-09-25T12:00:01Z

by Moreno, J. Manuel. editor.
http://dx.doi.org/10.1007/11549703
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2024-09-25T12:00:01Z

by Moreno Díaz, Roberto. editor.
http://dx.doi.org/10.1007/11556985
Format: Electronic Resources

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-09-25T12:00:01Z

by Hinchey, Michael G. editor.
http://dx.doi.org/10.1007/b105317
Format: Electronic Resources

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-09-25T12:00:01Z

by Morari, Manfred. editor.
http://dx.doi.org/10.1007/b106766
Format: Electronic Resources