Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems

Authors
Publication date
30 May 2017
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver

    redirect
    oaioai:docserv.uni-duesseldorf.de...
    Last time updated on 09/07/2019