„Formal Methods“

Suchergebnisse

1.421 Treffer

• Formal methods in poetics – a collection of scholarly works dedicated to the memory of Professor M. A. Krasnoperova
  Scherr, Barry P. ; Krasnoperova, Marina A. ; Bailey, James ; Kazarcev, Evgenij V. 2011 RAM-Verl.
• Formal Methods and Object Technology
  Goldsack, Stephen J. 1996 Springer London
• Formal methods: foundations and applications – 14th Brazilian symposium ; revised selected papers
  Simao, Adenilso ; Morgan, Carroll 2011 Springer
• Stabilization, safety, and security of distributed systems – 13th international symposium ; proceedings
  Défago, Xavier ; Petit, Franck ; Villain, Vincent 2011 Springer
• Modeling Telecom Networks and Systems Architecture – Conceptual Tools and Formal Methods
  Muth, Thomas A. 2001 Springer Berlin Heidelberg
• Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)
  Gallagher, John P. ; Gelfond, Michael 2011 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Interactive theorem proving – second international conference ; proceedings
  Eekelen, Marko ˜vanœ ; Geuvers, Herman ; Schmaltz, Julien ; Wiedijk, Freek 2011 Springer
• Formal Methods of Analysis of System Properties
  Kryvyi, S. L. ; Matveyeva, L. Ye
• Formal Derivation of Boundary Layers in Fluid Mechanics
  Gerard-Varet, David
• The formaldehyde sensitivity of LaFe1-xZnxO3-based gas sensor
  Huang, Shanxing ; Qin, Hongwei ; Song, Peng ; Liu, Xing ; Li, Lun ; Zhang, Rui ; Hu, Jifan ; Yan, Hongdan ; Jiang, Minhua
• Facile synthesis of Pd-doped ZnSnO3 hierarchical microspheres for enhancing sensing properties of formaldehyde
  Bai, Shouli ; Tong, Weiguang ; Tian, Ye ; Fu, Hang ; Zhao, Yanhong ; Shu, Xin ; Luo, Ruixian ; Li, Dianqing ; Chen, Aifan
• CALPHAD formalism for Portland clinker: thermodynamic models and databases
  Noirfontaine, M.-N. de ; Tusseau-Nenez, S. ; Girod-Labianca, C. ; Pontikis, V.
• 13C CP/MAS NMR study of a wood/phenol–formaldehyde resin bondline
  Laborie, Marie-Pierre G. ; Frazier, Charles E.
• Synthesis, magnetic properties and formalism of magnetic properties of high-quality refined Nd2Fe14B powders for permanent magnet devices
  Ram, S.
• String-inspired methods and the worldline formalism in curved space
  Corradini, Olindo ; Muratori, Maurizio
• A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems
  Zahid, Farzana ; Tanveer, Awais ; Kuo, Matthew M. Y. ; Sinha, Roopak
• Preparation of anatase F doped TiO2 sol and its performance for photodegradation of formaldehyde
  Huang, Donggen ; Liao, Shijun ; Quan, Shuiqing ; Liu, Lei ; He, Zongjian ; Wan, Jinbao ; Zhou, Wenbin
• Special issue on formal methods for security engineering
  Santone, Antonella
• Synthesis of β-SiC nanostructures via the carbothermal reduction of resorcinol–formaldehyde/SiO2 hybrid aerogels
  Li, Xintong ; Chen, Xiaohong ; Song, Huaihe
• Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection
  Keshavarz, Shahrzad ; Yu, Cunxi ; Ghandali, Samaneh ; Xu, Xiaolin ; Holcomb, Daniel