On the Generation of DisCo Specifications from Functional Requirements

J Nummenmaa, Z Zhang, T Nummenmaa, E Berki, J Guo, Y Wang

    Research output: Book/ReportCommissioned report

    Original languageEnglish
    Place of PublicationTampere
    Publication statusPublished - 2010
    Publication typeD4 Published development or research report or study

    Publication series

    NameUniversity of Tampere. Department of Computer Sciences. Series of publications. D. Net publications
    No.D‐2010‐13
    ISSN (Print)1795-4274

    Cite this