Copied NASA Formal Methods
NASA Formal Methods
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Menstrual Cycle Related Disorders
$39.99
Technisches Wrterbuch fr Telegraphie und Post
$59.99
Beschftigung in jungen Unternehmen
$69.99
Higher Education Regionalization in Asia Pacific
$39.99
Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems
$219.99
Die Chirurgie der hufigen angeborenen Herzmibildungen
$69.99
Einfhrung in die HPLC
$64.99
Latin American and Caribbean International Institutional Law
$84.99
Stochastic Analysis for Poisson Point Processes
$139.99
Vortex Ring Models
$139.99
Information Experience and Information Literacy
$84.99
Disability in the Workplace
$169.99
Global Perspectives on Social Capital and Health
$199.99
Freiformschmiede
$59.99
ICT and Critical Infrastructure: Proceedings of the 48th Annual Convention of Computer Society of In
$219.99
Der praktische Maschinenzeichner
$59.99
Ferdinand Tnnies
$64.99
Medizinisches Wrterbuch/Diccionario de Medicina/Dicionrio de termos mdicos
$39.99
Einige Grundfragen des Internationalen Unternehmensrechts
$59.99
Oops, Pounce, Quick, Run!
$4.46
Journalismus und Medien als Organisationen
$89.99
Die Werksgemeinschaft in historischer und soziologischer Beleuchtung
$59.99
Whiteness and Stigma in the Workplace
$109.99
Mega Robo Bros - Freddy vs. School: Freddy vs. School: The Rival
$5.99
Focal Therapy of Prostate Cancer
$54.99
Solving Optimization Problems with the Heuristic Kalman Algorithm
$119.00
Fuzzy Set Theory and Advanced Mathematical Applications
$129.00
Vitamin C
$54.99
Fuzzy Information and Engineering 2010
$259.00
Art, Excess, and Education
$129.99
Von Kung-Fu bis Ladypower. 33 bungen in moderner Philosophie
$29.99
From Quantum to Classical
$169.99
Explainable Artificial Intelligence Based on Neuro-Fuzzy Modeling with Applications in Finance
$179.99
Computational Intelligence
$109.99
Information Systems and Neuroscience
$159.99
Principles of Discontinuous Dynamical Systems
$39.99
Kommunale Rechtsanwendung im Umbruch und Wandel
$59.99
The Presidential Republic
$54.99
Protocols for Adult Stem Cells
$89.00
The Physiology of Hemostasis
$39.99
