„Formal Methods“

Suchergebnisse

1.421 Treffer

• Relaxed Abduction – Robust Information Interpretation for Industrial Applications
  Hubauer, Thomas 2016 Springer Fachmedien Wiesbaden
• Software Engineering and Formal Methods – SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
  De Nicola, Rocco ; Calinescu, Radu C. ; Rumpe, Bernhard 2015 Springer International Publishing
• Language, Music, and Computing – First International Workshop, LMAC 2015, St. Petersburg, Russia, April 20-22, 2015, Revised Selected Papers
  Eismont, Polina ; Konstantinova, Natalia 2015 Springer International Publishing
• Formal Methods and Software Engineering – 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
  2015 Springer International Publishing
• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• NASA Formal Methods – 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
  Rayadurgam, Sanjai ; Tkachuk, Oksana 2016 Springer International Publishing
• Integrated Formal Methods – 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
  Ábrahám, Erika ; Huisman, Marieke 2016 Springer International Publishing
• Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
  Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
• Engineering Trustworthy Software Systems – First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
  Liu, Zhiming ; Zhang, Zili 2016 Springer International Publishing
• Formal Methods: Foundations and Applications – 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
  Cornélio, Márcio ; Roscoe, Andrew W. 2016 Springer International Publishing
• Trustworthy Global Computing – 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
  Ganty, Pierre ; Loreti, Michele 2016 Springer International Publishing
• The Handbook of Formal Methods in Human-Computer Interaction
  Weyers, Benjamin ; Bowen, Judy ; Dix, Alan ; Palanque, Philippe 2017 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency XI
  2016 Springer International Publishing
• Applications of Formal Philosophy – The Road Less Travelled
  Urbaniak, Rafał ; Payette, Gillman 2017 Springer International Publishing
• TOOLympics Challenge 2023 – Updates, Results, Successes of the Formal-Methods Competitions
  Beyer, Dirk ; Hartmanns, Arnd ; Kordon, Fabrice 2025 Springer Nature Switzerland, Imprint: Springer
• Integrated Formal Methods – 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
  Kosmatov, Nikolai ; Kovács, Laura 2025 Springer Nature Switzerland, Imprint: Springer
• Formal Methods: Foundations and Applications – 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
  C. Nogueira, Sidney ; Teodorov, Ciprian 2025 Springer Nature Switzerland, Imprint: Springer
• Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
• Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer