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
Advances in Swarm and Computational Intelligence
$54.99
Controversies in Cardiology
$54.99
Wheat Landraces
$199.99
Economics of Atmospheric Pollution
$84.99
Grundzge der Tensorrechnung in Analytischer Darstellung
$69.99
The Politics of Sacrifice
$119.99
Political Rhetoric in the Oxford and Cambridge Unions, 18301870
$129.00
ADP-Ribosylation in Animal Tissues
$39.99
Algorithmische Sprache und Programmentwicklung
$54.99
Unique Radio Innovation for the 21st Century
$39.99
Organisation und Mitarbeiter im TQM
$39.99
The Aftermath of Suffrage
$44.99
Legal Tech und Legal Robots
$17.99
Extending the Business Network Approach
$109.99
Zur Rationalitt von Volksabstimmungen
$69.99
Advances in Advertising Research (Vol. VII)
$109.99
Veranschlagen, Bauleitung, Baupolizei und Heimatschutzgesetze
$79.99
Natural Antimicrobial Agents
$199.99
Shelleys Poetic Thoughts
$169.99
Strategische Gestaltung des Lebenszyklus von Mega-Events
$79.99
Benefit-Risk Assessment of Medicines
$39.99
Computability and Complexity
$39.99
Theories of Plates and Shells
$169.99
Kaiser Wilhelm. Sein Leben und seine Zeit. 17971888
$59.99
Ovarian Cancer
$249.99
Shadows of Empire in West Africa
$129.99
Unfall und Verbrechen
$44.99
ber den Einflu der Belastungsgeschwindigkeit auf den Elastizittsmodul des Mrtels und Betons sowi
$84.99
The Economy of Ghana
$84.99
Scattering from Model Nonspherical Particles
$169.99
One Windy Day
$3.71
Optimization of Distributed Parameter Structures Volume I
$54.99
Lower-Dimensional Systems and Molecular Electronics
$219.99
Handbook of Japan-United States Environment-Behavior Research
$169.99
ProstaTALK
$24.99
Basic Electromagnetism and its Applications
$39.99
Elternschaft im Wechselspiel von Deutungsmustern und Diskurs
$39.99
Handbook of Psychopharmacology
$39.99
Journal on Data Semantics X
$39.99
Psychologische Selbsthilfe bei Mobbing
$17.99
