„Formal Methods“

Suchergebnisse

1.421 Treffer

• Mathematical Approaches to Software Quality
  O'Regan, Gerard 2006 Springer London
• Concurrency Theory – Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
  Bowman, Howard ; Gomez, Rodolfo 2006 Springer London
• Validated Designs for Object-oriented Systems
  Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul ; Plat, Nico ; Verhoef, Marcel 2005 Springer London
• Formal methods for industrial critical systems – 17th international workshop ; proceedings
  Stoelinga, Mariëlle ; Pinger, Ralf 2012 Springer
• Data privacy management and autonomous spontaneus security – 6th international workshop, DPM 2011 and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15 - 16, 2011 ; revised selected papers
  Garcia-Alfaro, Joaquin ; Navarro-Arribas, Guillermo ; Cuppens-Boulahia, Nora ; De Capitani di Vimercati, Sabrina 2012 Springer
• Formal methods software engineering for the CARA system
  Martin, John C.
• Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol
  Stoelinga, Mariëlle
• Next‐to‐next‐to‐leading order post‐Newtonian spin (1)‐spin (2) Hamiltonian for self‐gravitating binaries
  Hartung, J. ; Steinhoff, J.
• Synthesis of Fe 3 O 4 Phenol Formaldehyde Resin Core–Shell Nanospheres Loaded with Au Nanoparticles as Magnetic FRET Nanoprobes for Detection of Thiols in Living Cells
  Yang , Ping ; Xu, Qi‐Zhi ; Jin, Sheng‐Yu ; Zhao, Yang ; Lu, Yang ; Xu, Xue‐Wei ; Yu, Shu‐Hong
• Modern Formal Methods and Applications
  2006 Springer Netherlands
• Formal Methods for Embedded Distributed Systems – How to master the complexity
  Kordon, Fabrice ; Lemoine, Michel 2004 Springer US
• Computing the Lattice Thermal Conductivity of Small‐Molecule Organic Semiconductors: A Systematic Comparison of Molecular Dynamics Based Methods
  Vercouter, Alexandre ; Lemaur, Vincent ; Melis, Claudio ; Cornil, Jérôme
• Formal Methods for the Analysis of Biomedical Ontologies
  2022 Springer International Publishing
• Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods
  Gavran, Ivan ; Majumdar, Rupak 2022 Technische Universität Kaiserslautern
• Formal methods for analysing, coordinating, and controlling decisions in multi-agent-systems
  Bulling, Nils 2015 Universitätsbibliothek Clausthal
• Possible existence of field‐induced Josephson junctions
  Pomorski, Krzysztof ; Prokopow, Przemyslaw
• General One‐Pot Reductive gem ‐Bis‐Alkylation of Tertiary Lactams/Amides: Rapid Construction of 1‐Azaspirocycles and Formal Total Synthesis of (±)‐Cephalotaxine
  Xiao, Kai‐Jiong ; Luo, Jie‐Min ; Xia, Xiao‐Er ; Wang, Yu ; Huang, Pei‐Qiang
• Bio‐Inspired Formal Synthesis of Hirsutellones A–C Featuring an Electrophilic Cyclization Triggered by Remote Lewis Acid‐Activation
  Li, Xu‐Wen ; Ear, Alexandre ; Roger, Lukas ; Riache, Nassima ; Deville, Alexandre ; Nay, Bastien
• Formal methods and tools for industrial critical systems
  Lluch Lafuente, Alberto ; Mavridou, Anastasia
• Combining specification methods for distributed systems
  Huber, Martin