Model-based safety and assessment : 4th international symposium, IMBSA 2014 : Munich, Germany, October 27-29, 2014 : proceedings. (Lecture Notes in Computer Science ; 8822)

Model-based safety and assessment : 4th international symposium, IMBSA 2014 : Munich, Germany, October 27-29, 2014 : proceedings.

(Lecture Notes in Computer Science ; 8822)

Call No. (NDL): M17-15-772
Bibliographic ID of National Diet Library: 025910412

Material type: 図書

Author: IMBSA (Symposium) (4th : 2014 : Munich, Germany)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: x, 208 pages ; 24 cm.

NDC: -

View Details

Notes on use

Note (General)：: Selected papers.

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319122137
3319122134
ISSN (series): 0302-9743
Title: Model-based safety and assessment : 4th international symposium, IMBSA 2014 : Munich, Germany, October 27-29, 2014 : proceedings.
Series Title: Lecture Notes in Computer Science ; 8822
Title Heading: Lecture notes in computer science ; 8822.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: IMBSA (Symposium) (4th : 2014 : Munich, Germany)
Ortmeier, Frank.
Rauzy, Antoine.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date (W3CDTF): 2014
Extent: x, 208 pages
Other physical details: illustrations
Size: 24 cm.
Additional Title: Oct 2014, Munich, Germany.
Place of Publication (Country Code): CH
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: System safety--Simulation methods--Congresses.
Reliability (Engineering)--Simulation methods--Congresses.
Safety appliances--Simulation methods--Congresses.
Computer systems--Simulation methods--Congresses.
LCC: TA169.7
NDLC: M17
Target Audience: 一般
Note (General): Selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-772
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025910412
http://id.ndl.go.jp/bib/025910412
OCLC No.: 904375775
https://www.worldcat.org/oclc/904375775
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215

See Less