Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain

54.95 CHF

Versandkostenfrei

Versandkostenfreie Lieferung!

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10399681

Beschreibung

I Part I : Background.- 1Introduction and Motivation.- 2Related Work.- Part II : Analysis.- 3A General Method for Composing an Engineering HB.- 4Application of the General Method to the Railway Domain.- Part III : Synthesis.- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6.- 6Conclusions and Prospects for Future Work.

Eigenschaften

Breite:	155
Gewicht:	166 g
Höhe:	235
Länge:	5
Seiten:	83
Sprachen:	Englisch
Autor:	Apurva Kumar, Markus Roggenbach, Stefan Gruner, Tom Maibaum

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller