thesis

Object-Z / TCOZ and Timed automata; Projection and integration

Authors
Publication date
8 February 2008
Publisher

Abstract

Ph.DDOCTOR OF PHILOSOPH

    Similar works

    Full text

    thumbnail-image

    Available Versions

    ScholarBank@NUS

    redirect
    oaioai:scholarbank.nus.edu.sg:106...
    Last time updated on 09/11/2016