- Hauptmenü-

Katalogdatenanzeige

Runtime verification of railway applications with extended live sequence charts

Exemplarinformationen Katalogdatensatz500241317 .
Kataloginformation Katalogdatensatz500241317 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
Name	Chai, Ming ¬[VerfasserIn]¬
Körperschaft	Humboldt-Universität zu Berlin ¬[Grad-verleihende Institution]¬
T I T E L	Runtime verification of railway applications with extended live sequence charts
Verlagsort	Aachen
Verlag	Shaker Verlag
Erscheinungsjahr	2016
Erscheinungsjahr	2016
Umfang	viii, 153 Seiten : Illustrationen, Diagramme
Format	24 cm x 17 cm, 249 g
Reihe	Berichte aus der Informatik
Notiz / Fußnoten	Zusammenfassung in deutscher und englischer Sprache
Notiz / Fußnoten	Literaturverzeichnis Seite 137-150
Hochschulschriftenvermerk	$bDissertation$cHumboldt-Universität zu Berlin$d2015
ISBN	ISBN 978-3-8440-4333-4 Festeinband : EUR 48.80 (AT), sfr 61.10 (freier Preis), EUR 48.80 (DE)
ISBN	ISBN 3-8440-4333-0
Klassifikation	004
Klassifikation	ST 233
1. Schlagwortkette	Zugsicherung
	Laufzeitsystem
	Verifikation
	Live Sequence Chart
	Erweiterung
	Mehrwertige Logik
	Unsicherheit
	ETCS
	Handover
	Benchmark
SWB-Titel-Idn	470296348
Signatur	99 437
Internetseite / Link	Inhaltsverzeichnis

ISBD-Anzeige Katalogdatensatz500241317

Kategorien-Anzeige Katalogdatensatz500241317

Titel zur Titelsammlung hinzufügen Katalogdatensatz500241317

Kataloginformation500241317 Datensatzanfang . Kataloginformation500241317 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00400742	ST 233 C434	Freihand		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500241317

. Katalogdatensatz500241317 ItemInfo Datensatzanfang . Katalogdatensatz500241317 ItemInfo Seitenanfang .

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.