„Formal Methods“

Suchergebnisse

1.421 Treffer

• On the use of formal methods to model and verify neuronal archetypes
  De Maria, Elisabetta ; Bahrami, Abdorrahim ; L’Yvonnet, Thibaud ; Felty, Amy ; Gaffé, Daniel ; Ressouche, Annie ; Grammont, Franck
• Selection of Formal Baseline Correction Methods in Thermal Analysis
  Gibson, Rebecca L. ; Simmons, Mark J. H. ; Stitt, E. Hugh ; Horsburgh, Lockhart ; Gallen, Robert W.
• Rigorous methods for software construction and analysis – essays dedicated to Egon Börger on the occasion of his 60th birthday
  Abrial, Jean-Raymond ; Börger, Egon 2009 Springer
• Design and Implementation of WCET Analyses – Including a Case Study on Multi-Core Processors with Shared Buses
  Jacobs, Michael 2021 epubli
• Formal methods: practical applications and foundations – Editorial
  Beek, Maurice H. ˜terœ ; McIver, Annabelle
• Phenol-Formaldehyde Resins: Properties, Fields of Application, and Methods of Synthesis
  Berdnikova, P. V. ; Zhizhina, E. G. ; Pai, Z. P.
• The minimal perceived change: a formal model of the responder definition according to the patient’s meaning of change for patient-reported outcome data analysis and interpretation
  Vanier, Antoine ; Sébille, Véronique ; Blanchin, Myriam ; Hardouin, Jean-Benoit
• TOOLympics II: competitions on formal methods – A Special Issue for TOOLympics 2019
  Beyer, Dirk ; Huisman, Marieke ; Kordon, Fabrice ; Steffen, Bernhard
• Politeness and Combination Methods for Theories with Bridging Functions
  Chocron, Paula ; Fontaine, Pascal ; Ringeissen, Christophe
• multi perspectives business process and workflow modelling – A Domain Engineering Approach
  Atsa Etoundi, Roger 2011 LAP LAMBERT Academic Publishing
• Tableau Methods for Propositional Logic and Term Logic
  Jarmużek, Tomasz 2021 Peter Lang GmbH, Internationaler Verlag der Wissenschaften
• Analgesic effects of intravenous curcumin in the rat formalin test
  Ok, Hwoe-Gyeong ; Kim, Hyeon Woo ; Kim, Hae-Kyu
• Formaldehyde gas sensing properties of transition metal-doped graphene: a first-principles study
  Yang, Lunwei ; Xiao, Wei ; Wang, Jianwei ; Li, Xiaowu ; Wang, Ligen
• Advertisements or friends? – formal and informal recruitment methods in Tanzania
  Egbert, Henrik ; Fischer, Gundula ; Bredl, Sebastian 2009 ZEU
• Formal methods and testing – an outcome of the FORTEST network ; revised selected papers
  Hierons, Robert M. 2008 Springer
• Formal methods for components and objects – 5th international symposium ; revised lectures
  Boer, Frank S. ˜deœ 2007 Springer
• Formal methods for components and objects – 4th international symposium ; revised lectures
  Boer, Frank S. ˜deœ 2006 Springer
• Applying formal methods – testing, performance and M/E commerce ; proceedings
  Núñez, Manuel 2004 Springer
• From object orientation to formal methods – essays in memory of Ole-Johan Dahl
  Owe, Olaf ; Dahl, Ole-Johan 2004 Springer
• Integrated formal methods – 4th international conference ; proceedings
  Boiten, Eerke 2004 Springer