Specification and Seamless Verification of Embedded Real-Time Systems

FOCUS on Isabelle (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
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...
lieferbar
versandkostenfrei

Bestellnummer: 15333328

Buch81.30
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 15333328

Buch81.30
In den Warenkorb
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...

Kommentar zu "Specification and Seamless Verification of Embedded Real-Time Systems"

Andere Kunden kauften auch

Übungsaufgaben zur Halbleiter-Schaltungstechnik

Holger Göbel, Henning Siemund

0 Sterne
Buch

33.92

In den Warenkorb
Erschienen am 13.07.2018
lieferbar

Auto Desaster

Craig Cheetham

3 Sterne
(2)
Buch

Statt 34.00

8.50 *

In den Warenkorb
Erschienen am 11.06.2018
lieferbar
Buch

41.10

In den Warenkorb
lieferbar

Das 1-Wire-Praxisbuch

Miroslav Cina

0 Sterne
Buch

35.80

In den Warenkorb
Erschienen am 27.04.2020
lieferbar

Brandschutz in elektrischen Anlagen

Herbert Schmolke

0 Sterne
Buch

37.90

In den Warenkorb
lieferbar
Buch

34.00

In den Warenkorb
Erschienen am 04.05.2020
lieferbar

Studie zum Ladungstransport

Huseynova Gunel

0 Sterne
Buch

63.70

In den Warenkorb
lieferbar
Buch

35.80

In den Warenkorb
Erschienen am 01.04.2020
lieferbar
Buch

63.70

In den Warenkorb
lieferbar
Buch

25.60

In den Warenkorb
Erschienen am 23.03.2020
lieferbar

Signaltheorie

Alfred Mertins

0 Sterne
Buch

39.06

In den Warenkorb
Erschienen am 16.04.2020
lieferbar
Buch

15.41

In den Warenkorb
Erschienen am 04.04.2020
lieferbar
Buch

61.67

In den Warenkorb
Erschienen am 09.04.2020
lieferbar
Buch

72.00

In den Warenkorb
Erschienen am 09.03.2020
lieferbar

Optisches drahtloses Audio-Kommunikationssystem

Caleb Onyedikachi Ugwoke, Mamilus Aginwa Ahaneku, Florence Ifeyinwa Eze

0 Sterne
Buch

41.10

In den Warenkorb
lieferbar
Buch

41.00

In den Warenkorb
Erschienen am 01.03.2020
lieferbar
Buch

50.40

In den Warenkorb
Erschienen am 16.01.2020
lieferbar

Elektrische Steuerungs- und Antriebstechnik

Hans Günter Boy, Klaus Bruckert, Bernhard Wessels, Theo Meyer, Mark Klaas, Peter Behrends

0 Sterne
Buch

33.80

In den Warenkorb
lieferbar

Weitere Empfehlungen zu „Specification and Seamless Verification of Embedded Real-Time Systems “

  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich