„Model-checking“

Suchergebnisse

1.904 Treffer

• Fundamentals of computation theory – 17th international symposium ; proceedings
  Kutyłowski, Mirosław 2009 Springer
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• Tools and algorithms for the construction and analysis of systems – 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
  Legay, Axel ; Margaria, Tiziana 2017 Springer
• Fundamental approaches to software engineering – 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
  Huisman, Marieke ; Rubin, Julia 2017 Springer
• Formal modeling and analysis of timed systems – 7th international conference ; proceedings
  Ouaknine, Joe͏̈l 2009 Springer
• Model Checking of Rewards and Penalties in Beacon Chain
  Afzaal, Hamra ; Zafar, Nazir Ahmad ; Tehseen, Aqsa ; Kousar, Shaheen
• Transactions on Petri Nets and Other Models of Concurrency X
  Koutny, Maciej ; Desel, Jörg ; Haddad, Serge 2015 Springer Berlin Heidelberg
• Data Integration in the Life Sciences – 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings
  Ashish, Naveen ; Ambite, Jose-Luis 2015 Springer International Publishing
• FM 2015: Formal Methods – 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
  Bjørner, Nikolaj ; de Boer, Frank 2015 Springer International Publishing
• Model Checking Software – 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
  2015 Springer International Publishing
• Quantitative Evaluation of Systems – 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
  2015 Springer International Publishing
• Software Engineering for Collective Autonomic Systems – The ASCENS Approach
  2015 Springer International Publishing
• Engineering Secure Software and Systems – 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings
  2015 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency IX
  Koutny, Maciej ; Haddad, Serge ; Yakovlev, Alex 2014 Springer International Publishing
• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Web Services and Formal Methods – 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
  Tuosto, Emilio ; Ouyang, Chun 2014 Springer International Publishing
• Formal Techniques for Safety-Critical Systems – Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
  Artho, Cyrille ; Ölveczky, Peter Csaba 2014 Springer International Publishing
• Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
  2014 Springer International Publishing
• Programming Languages and Systems – 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
  2014 Springer International Publishing
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer