Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle

Name: Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 07093264
Price: 69.39 EUR
Availability: InStock
Author: Maria Spichkova
ISBN: 9783836494526

Maria Spichkova

Sprache

Englisch

Buch Broschur

Libristo-Code: 07093264

Verlag VDM Verlag Dr. Mueller E.K., April 2008

The purpose of this thesis is to create a coupling of the formal specification framework Focus in th... Vollständige Beschreibung

Libristo-Code: 07093264

170 b

69.39 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Guerre: Document Concernant La Reorganisation Politique de l'Europe Sans Auteur

Broschur

10.89 €

Hochzelldichtekultivierung von E.coli Bodil Klärmann

Broschur

49.00 €

Zentrum Oder Cdu Ute Schmidt

Broschur

39.99 €

Entwicklungsunterstützung für interaktive 3D-Anwendungen Arnd Vitzthum

Broschur

89.90 €

Motivation, Zufriedenheit und Wertschatzung von Sport-Event-Volunteers Katrin Werkmann

Broschur

54.99 €

Tokyo Vice Jake Adelstein

Broschur

22.00 €

Administracion Ambiental En Mexico Patricia Soledad Sánchez Medina

Broschur

22.69 €

Antigone ophokles

Blatt

2.19 €

Ha velem maradt volna Laura Nowlin

Hardcover

10.99 €

Endoscopia Diagnostica En El Sangramiento Digestivo Alto José Fr. Hurtado Dávila

Broschur

22.69 €

The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validation§methodologies are treated as a single, joined, methodology with the main focus on the specification part.§The key contributions of the thesis are§+ Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. "Focus on Isabelle" enables to validate and verify system specifications§in a methodological way.§+ Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions.§+ Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle

Autor Maria Spichkova

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 292

EAN 9783836494526

ISBN 3836494523

Libristo-Code 07093264

Verlag VDM Verlag Dr. Mueller E.K.

Gewicht 395

Abmessungen 152 x 229 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert