research

ModelPlex: verified runtime validation of verified cyber-physical system models

Authors
    Publication date
    1 October 2016
    Publisher
    Springer
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Springer - Publisher Connector

        redirect
        Last time updated on 03/05/2017