X

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Certifications of Critical Systems - The CECRIS Experience (2017)
    Aalborg : River Publishers
    Details
    UID:
    gbv_187023300X
    Format: 1 online resource (316 pages)
    ISBN: 8793519559 , 9788793519558 , 9781003337485 , 1003337481 , 9781000792140 , 1000792145 , 9781000795462 , 1000795462
    Series Statement: River Publishers Series in Information Science and Technology
    Additional Edition: ISBN 8793519567
    Additional Edition: ISBN 9788793519565
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 8793519567
    Language: English
    Keywords: Electronic books.
    DOI: 10.1201/9781003337485
    URL: kostenfrei
    URL: EBSCOhost
    URL: OverDrive
    URL: ProQuest Ebook Central
    URL: Taylor & Francis
    URL: Excerpt
    URL: Image
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Stabi Berlin
    HPol Brandenburg
    MPI Bildungsforschung
  • 2
    Online Resource
    Online Resource
    Certifications of Critical Systems - The CECRIS Experience (2017)
    [Erscheinungsort nicht ermittelbar] : Taylor & Francis
    Details
    UID:
    gbv_1832231593
    Format: 1 Online-Ressource (312 p.)
    ISBN: 9781003337485 , 9781000795462 , 9788793519565
    Content: In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems - The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases
    Note: English
    Language: Undetermined
    URL: kostenfrei
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Stabi Berlin
    UB Potsdam
  • 3
    Book
    Book
    sheng ti gui yi (2009)
    tai bei
    Details
    UID:
    gbv_1034872486
    Format: S. 307-373
    Edition: 影印本
    Original writing title: 圣体规仪
    Original writing publisher: 台北 : 台北利氏学社
    ISBN: 9789572984833
    Series Statement: fa guo guo jia tu shu guan ming qing tian zhu jiao wen xian 18
    Note: SBB-PK Berlin
    Language: Chinese
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 4
    Book
    Book
    tian shen hui ke (2009)
    tai bei
    Details
    UID:
    gbv_1034872796
    Format: S. 5-162
    Edition: 据刻本影印
    Original writing title: 天神会课
    Original writing publisher: 台北 : 台北利氏学社
    ISBN: 9789572984833
    Series Statement: fa guo guo jia tu shu guan ming qing tian zhu jiao wen xian 20
    Note: SBB-PK Berlin
    Language: Chinese
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 5
    Book
    Book
    sheng an de le zongtu zhan li (2009)
    tai bei
    Details
    UID:
    gbv_1034642235
    Format: S. 99-378
    Edition: 影印本
    Original writing title: 圣安德肋宗徒瞻礼
    Original writing publisher: 台北 : 台北利氏学社
    ISBN: 9789572984833
    Series Statement: fa guo guo jia tu shu guan ming qing tian zhu jiao wen xian 17
    Note: Untitled collection of sermons held on certain feasts during the years 1646-1656 by Francesco Brancati (潘国光) and Girolamo de Gravina (贾宜穆) , SBB-PK Berlin
    Language: Chinese
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 6
    Book
    Book
    wei lai bian lun (2009)
    tai bei
    Details
    UID:
    gbv_1034642081
    Format: S. 201-220
    Edition: 影印本
    Original writing title: 未来辩论
    Original writing publisher: 台北 : 台北利氏学社
    ISBN: 9789572984833
    Series Statement: fa guo guo jia tu shu guan ming qing tian zhu jiao wen xian 16
    Note: SBB-PK Berlin
    Language: Chinese
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 7
    Article
    Article
    圣教四规 (2002)
    Show associated volumes
    Details
    UID:
    gbv_103939485X
    Edition: 据清初刊本影印
    ISBN: 9579390169
    In: Standaert, Nicolas, ye su hui luo ma dang an guan ming qing tian zhu jiao wen xian, tai bei, 2002, (2002), 2, 9579390169
    In: year:2002
    In: number:2
    Language: Chinese
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Article
    Stabi Berlin get availability status
  • 8
    Book
    Book
    tian jie (2013)
    tai bei
    Details
    UID:
    gbv_1036839966
    Format: S. 495-518
    Edition: 影印本
    Original writing title: 天阶
    Original writing publisher: 台北 : 台北利氏学社
    ISBN: 9789572984840
    Series Statement: xu jia hui cang shu lou ming qing tian zhu jiao wen xian xu bian 17
    Note: SBB-PK Berlin
    Language: Chinese
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 9
    Online Resource
    Online Resource
    Certifications of Critical Systems – The CECRIS Experience (2017)
    Aalborg : River Publishers
    Details
    UID:
    gbv_1653352922
    Format: 1 Online-Ressource (316 pages)
    ISBN: 9788793519558
    Series Statement: River Publishers Series in Information Science and Technology
    Content: Front Cover -- Half Title Page -- RIVER PUBLISHERS SERIES IN INFORMATION SCIENCE AND TECHNOLOGY -- Title Page - Certifications of Critical Systems - The CECRIS Experience -- Copyright Page -- Contents -- Preface -- List of Contributors -- List of Figures -- List of Tables -- List of Abbreviations -- Chapter 1 - A Framework to Identify Companies Gaps When Introducing New Standards for Safety-Critical Software -- 1.1 Introduction -- 1.1.1 Contribution -- 1.2 State of the Art on Gap Analysis in the ICT World -- 1.3 Overview of the Framework and Methodology -- 1.3.1 The Framework -- 1.3.1.1 Processes -- 1.3.1.2 Techniques and tools -- 1.3.1.3 Personnel -- 1.3.2 The Methodology to Exercise the Framework -- 1.4 Dataset Structure and Population -- 1.4.1 Dataset Structure -- 1.4.2 Population of the Dataset -- 1.5 Metrics for Gap Analysis -- 1.5.1 Qualitative Indications -- 1.5.2 Quantitative Indication -- 1.5.3 Driving Conclusions -- 1.6 Case Study and Gap Analysis for DO-178B -- 1.6.1 Matching of DO-178B Techniques and Company's Techniques -- 1.6.2 Acquire Data from Personnel -- 1.6.3 Analyze the Data: Techniques -- 1.6.4 Analyze the Data: Tools -- 1.6.5 Conclusive Recommendations and Feedbacks -- 1.7 Discussion about the Gap Analysis Framework -- 1.7.1 An Application to the Moving Process -- 1.7.2 Time and Cost -- 1.7.3 Effectiveness and Reactions -- 1.7.4 Replacement Techniques -- 1.7.5 Different Approaches to Compliance -- 1.7.6 Questionnaire Assessment and Bias -- 1.8 Conclusions -- References -- Chapter 2 - Experiencing Model-Driven Engineering for Railway Interlocking Systems -- 2.1 Introduction -- 2.2 Background: MDE -- 2.2.1 MDA Viewpoints and Views -- 2.3 The Maturity of MDE -- 2.4 A Model-Driven Methodology for Prolan -- 2.4.1 Experimentation within A Pilot Project -- 2.4.2 System Requirements Specification -- 2.4.3 System Design.
    Additional Edition: ISBN 9788793519565
    Additional Edition: Print version Bondavalli, Andrea Certifications of Critical Systems – The CECRIS Experience Aalborg : River Publishers,c2017 ISBN 9788793519565
    Language: English
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    UB Potsdam
  • 10
    Online Resource
    Online Resource
    Barber-Say syndrome and ablepharon-macrostomia syndrome : a patient's view (2017)
    Show associated volumes
    Details
    UID:
    gbv_1001433289
    ISSN: 1661-8777
    In: Molecular syndromology, Basel : Karger, 2010, 8(2017), 4, Seite 172-178, 1661-8777
    In: volume:8
    In: year:2017
    In: number:4
    In: pages:172-178
    Language: English
    DOI: 10.1159/000472408
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages