KOBV Portal

Hits per page

hits 1 - 3 | 3 hits

Sorting

Online Resource

Formal Methods for Safety and Security : Case Studies for Aerospace Applications (2018)

Nanda, Manju [Sonstige] ; Jeppu, Yogananda [Sonstige]

Singapore : Springer Singapore

add to watchlist on the watchlist

Details

UID:

b3kat_BV044660960

Format: 1 Online-Ressource (XII, 132 p. 42 illus., 24 illus. in color)

ISBN: 9789811041211

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-981-10-4120-4

Language: English

Subjects: Engineering

RVK:

ZO 8900

Keywords: Software Engineering ; Sicherheitskritisches System ; Echtzeitsystem ; Formale Methode ; Fehlerbaumanalyse ; Zuverlässigkeit

DOI: 10.1007/978-981-10-4121-1

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HTW Berlin

BTU Cottbus

Book

Formal Methods for Safety and Security : Case Studies for Aerospace Applications (2018)

Nanda, Manju ; Jeppu, Yogananda ; Springer Malaysia Representative Office

Puchong, Selangor D.E. : Springer Singapore | Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV044933157

Format: IV, 126 Seiten in 1 Teil , 24 Illustrationen, 18 Illustrationen , 23.5 cm x 15.5 cm, 0 g

Edition: 1st edition 2018

ISBN: 9789811041204 , 9811041202

Additional Edition: Elektronische Reproduktion ISBN 9789811041211

Language: English

Subjects: Engineering

RVK:

ZO 8900

Keywords: Software Engineering ; Sicherheitskritisches System ; Echtzeitsystem ; Formale Methode ; Fehlerbaumanalyse ; Zuverlässigkeit

URL: Inhaltstext

URL: http://www.springer.com/

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

Formal methods for safety and security : case studies for aerospace applications (2018)

Nanda, Manju, [editor.] ; Jeppu, Yogananda, [editor.]

Gateway East, Singapore :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_9949464891602882

Format: 1 online resource (138 pages) : , illustrations (some color), graphs

ISBN: 9789811041211 (e-book)

Additional Edition: Print version: Formal methods for safety and security : case studies for aerospace applications. Gateway East, Singapore ; Springer, c2018 ISBN 9789811041204

Language: English

Keywords: Electronic books.

URL: Click to View

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

hits 1 - 3 | 3 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 9789811021411?

Did you mean 9789811031281?

Did you mean 9789811031311?

Kooperativer Bibliotheksverbund

Berlin Brandenburg