„Formal Methods“

Suchergebnisse

1.421 Treffer

• A workshop on formal methods education: held at Melbourne Florida in March 1998[5] – an aggregation of opinions
  Johnson, Steven D.
• Formal methods for automated debugging
  Riener, Heinz 2017
• Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design
  Strehl, Karsten 2000 Shaker
• Investigating the Integration of two Formal Methods
  Bicarregui, Juan ; Matthews, Brian ; Ritchie, Brian ; Agerholm, Sten
• On the Heuristic Nature of Medical Decision-Support Systems
  Aliferis, C. F. ; Miller, R. A.
• A thermal analytical study of phenol formaldehyde resins
  Burns, R. ; Orrell, E. W.
• Formal Methods – An Appetizer
  2019 Springer International Publishing
• Talos: no more ransomware victims with formal methods
  Cimitile, Aniello ; Mercaldo, Francesco ; Nardone, Vittoria ; Santone, Antonella ; Visaggio, Corrado Aaron
• Condensation Reaction of 1,2,3,4-Tetrahydro-1,10-phenanthroline and Formaldehyde: Synthesis and Crystal Structures of Bis(1,2,3,4-tetrahydro-1,10-phenanthroline-6-yl)methane and Its p-Toluenesulfonate Salt
  Xiaofeng, J. S. ; Yi, H. P. ; Mo, Z. L. ; Chen, S. P.
• Matching nondeterministic services with operating guidelines
  Massuthe, Peter ; Wolf, Karsten 2005 Professoren des Inst. für Informatik
• Formal Considerations on Text Analysis in Anatomic Pathology
  Kayser, K. ; Höpker, W.-W.
• Fabrication of melamine–urea–formaldehyde/paraffin microcapsules modified with cellulose nanocrystals via in situ polymerization
  Han, Shenjie ; Lyu, Shaoyi ; Chen, Zhilin ; Wang, Siqun ; Fu, Feng
• Historical Social Research / Historische Sozialforschung: an international journal for the application of formal methods to history, 1978-2003; bibliographie, abstracts, register
• Von der Mißverständlichkeit des Selbstverständlichen: Beobachtungen zur Diskussion über die Nützlichkeit formaler Verfahren in der Geschichtswissenschaft [1992]
• Historical Social Research: an international journal for the application of formal methods to history, 2004-2014; an overview
  Janssen, Philip Jost
• Aspect-oriented security engineering – a model-based approach
  Amthor, Peter 2019 Cuvillier Verlag
• Formal [3+3] Cyclocondensation of 4-Acyl-1H-pyrrole-2,3-diones with Five-Membered Cyclic Enamines To Form Substituted 1H-Py­razolo[3,4-b]pyridines and Isoxazolo[5,4-b]pyridines
  Dubovtsev, Alexey Yu. ; Dmitriev, Maksim V. ; Silaichev, Pavel S. ; Antonov, Dmitriy I. ; Maslivets, Аndrey N.
• Measurements of reactive trace gases in the marine boundary layer using novel DOAS methods
  Lampel, Johannes
• Covalent attachment of poly (acrylic acid) onto multiwalled carbon nanotubes functionalized with formaldehyde via electrophilic substitution reaction
  Yang, Zhi ; Chen, Xiao-Hua ; Xia, Shang-Zhou ; Pu, Yu-Xing ; Xu, Hai-Yang ; Li, Wen-Hua ; Xu, Long-Shan ; Yi, Bin ; Pan, Wei-Ying
• Architecture Design and Validation Methods
  Börger, Egon 2000 Springer Berlin Heidelberg