Home > Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 17 of 17 entries
Chapters/Headings | Author(s) | Pages | Info |
1-13 | |||
14-27 | |||
28-42 | |||
43-56 | |||
57-69 | |||
70-81 | |||
82-95 | |||
96-109 | |||
110-122 | |||
123-136 | |||
137-151 | |||
152-165 | |||
166-180 | |||
181-194 | |||
195-208 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 17 of 17 entries
Topics
Reliability (engineering) Safety appliances Operating systems (computers) Industrial safety Software engineering Computer science Computer software Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages Compilers Interpreters Algorithm Analysis and Problem Complexity