„Formal Methods“

Suchergebnisse

1.421 Treffer

• About some formalisms of interaction Phase transition models in economics?* – Phase transition models in economics?*
  Hors, Irène ; Lordon, Frédéric
• The control of porosity at nano scale in resorcinol formaldehyde carbon aerogels
  Mirzaeian, Mojtaba ; Hall, Peter J.
• Impact of synthesis conditions on meso- and macropore structures of resorcinol–formaldehyde xerogels
  Awadallah-F, Ahmed ; Elkhatat, Ahmed M. ; Al-Muhtaseb, Shaheen A.
• Formaldehyde emission from wood based panels – The importance of intercalibrating the test methods
  Bulian, F. ; Battaglia, R. ; Ciroi, S.
• A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
  Cortier, Véronique ; Kremer, Steve ; Warinschi, Bogdan
• On the formal origins of dark energy
  Hill, James M.
• Advances in Conceptual Modeling – ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers
  Parsons, Jeffrey ; Chiu, Dickson K. W. 2014 Springer International Publishing
• Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
  Cerone, Antonio ; Gruner, Stefan
• Blocking and Other Enhancements for Bottom-Up Model Generation Methods
  Baumgartner, Peter ; Schmidt, Renate A.
• Impact Ionization in GaAs within A Screened Exchange Density Functional Formalism
  Picozzi, S. ; Asahi, R. ; Geller, C.B ; Freeman, A.J
• Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae
  Jha, Susmit ; Sahai, Tuhin ; Raman, Vasumathi ; Pinto, Alessandro ; Francis, Michael
• Trust management VIII – 8th IFIP WG 11.11 international conference ; proceedings
  Zhou, Jianying ; Gal-Oz, Nurit ; Zhang, Jie ; Gudes, Ehud 2014 Springer
• Unifying theories of programming and formal engineering methods – advanced lectures
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer
• 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)
  Choppy, Christine ; Sun, Jun 2013 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Computer science - theory and applications – proceedings
  Bulatov, Andrei A. ; Shur, Arseny M. 2013 Springer
• Formal methods for mining structured objects
  Garriga, Gemma C. 2013 Springer
• Large-scale complex IT systems – development, operation and management ; revised selected papers
  Calinescu, Radu C. ; Garlan, David 2012 Springer
• NASA formal methods – 4th international symposium ; proceedings
  Goodloe, Alwyn E. ; Person, Suzette 2012 Springer
• Data engineering and management – second international conference ; revised selected papers
  Kannan, Rajkumar ; Andres, Frederic 2012 Springer
• The correctness-by-construction approach to programming
  Kourie, Derrick G. ; Watson, Bruce W. 2012 Springer