Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Dissolution of the gap between safety requirements written in a natural language and formal notations


    Additional title:

    Die Loesung der Luecke zwischen Anforderungen der Sicherheit, die in natuerlicher Sprache oder formalen Notationen geschrieben wurden.


    Contributors:

    Publication date :

    2016


    Size :

    7 pages


    Remarks:

    SAE-Paper;2016-01-0133;2016


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations

    Matsubara, Masahiro / Narisawa, Fumio / Ohno, Atsuhiro et al. | British Library Conference Proceedings | 2016


    Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations

    Ohno, Atsuhiro / Narisawa, Fumio / Matsubara, Masahiro et al. | SAE Technical Papers | 2016


    From natural language to semi-formal notation requirements for automotive safety

    Krammer,M. / Stirgwolt,P. / Martin,H. et al. | Automotive engineering | 2015


    From Natural Language to Semi-Formal Notation Requirements for Automotive Safety

    Krammer, Martin / Stirgwolt, Philip / Martin, Helmut | British Library Conference Proceedings | 2015


    From Natural Language to Semi-Formal Notation Requirements for Automotive Safety

    Martin, Helmut / Krammer, Martin / Stirgwolt, Philip | SAE Technical Papers | 2015