„Formal Methods“

Suchergebnisse

1.421 Treffer

• Integrated Formal Methods – 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  Méry, Dominique 2010 Springer Berlin Heidelberg
• FM+AM '2010 - Second International Workshop on Formal Methods and Agile Methods – 17 September 2010 Pisa (Italy)
  Gruner, Stefan ; Rumpe, Bernhard 2010 Ges. für Informatik
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Autonomic and trusted computing – 7th international conference ; proceedings
  Xie, Bing 2010 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Algebraic Methodology and Software Technology – 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
  Johnson, Michael ; Pavlović, Dus̆ko 2004 Springer Berlin Heidelberg
• Integrated formal methods – 8th international conference ; proceedings
  Méry, Dominique 2010 Springer
• Formal Methods for Scheduling of Latency-Insensitive Designs
  Boucaron, Julien ; de Simone, Robert ; Millo, Jean-Vivien
• Addition of ammonium hydroxide as formaldehyde scavenger for sesenduk (Endospermum diadenum) wood compregnated using phenolic resins
  Ashaari, Zaidon ; Lee, Seng Hua ; Abdul Aziz, Mohd. Hafifuddin ; Nordin, Muhamad Norfazimie
• Replacing formaldehyde by furfural in urea formaldehyde resin: effect on formaldehyde emission and physical–mechanical properties of particleboards
  Ghafari, Robab ; DoostHosseini, Kazem ; Abdulkhani, Ali ; Mirshokraie, Sayed Ahmad
• Formal methods for industrial critical systems – 15th international workshop ; proceedings
  Kowalewski, Stefan 2010 Springer
• Formal Methods in Automated Design Debugging – Bridging the gap between debugging needs and automated capabilities
  Safarpour, Sean 2010 VDM Verlag Dr. Müller
• Web services and formal methods – 6th international workshop ; revised selected papers
  Laneve, Cosimo 2010 Springer
• Forms - Format 2010 – formal methods for automation and safety in railway and automotive systems
  Schnieder, Eckehard 2011 Springer
• Knowledge acquisition by methods of formal concept analysis
  Wille, Rudolf 1989 Techn. Hochsch., Fachbereich Mathematik
• Software engineering and formal methods – SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers
  Bianculli, Domenico ; Calinescu, Radu C. ; Rumpe, Bernhard 2015 Springer
• Formal methods for quantitative aspects of programming languages – advanced lectures
  Aldini, Alessandro 2010 Springer
• Formal methods for describing semantics in data base technology
  Schneider, Hans-Jochen 1976 Tech. Univ., Informatik
• Report on the RS3 Topic Workshop "Security Properties in Software Engineering"
  Ochoa, Martin ; Pape, Sebastian ; Ruhroth, Thomas ; Sprick, Barbara ; Stenzel, Kurt ; Sudbrock, Henning 2012 Universität Augsburg
• Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
  Dunets, Andriy ; Balser, Michael ; Reif, Wolfgang 2009 Universität Augsburg