• Login
    Browsing by Issue Date 
    •   SUNScholar
    • Faculty of Science
    • Department of Mathematical Sciences
    • Doctoral Degrees (Mathematical Sciences)
    • Browsing by Issue Date
    •   SUNScholar
    • Faculty of Science
    • Department of Mathematical Sciences
    • Doctoral Degrees (Mathematical Sciences)
    • Browsing by Issue Date
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browsing by Issue Date

    Sort by:

    Order:

    Results:

    Now showing items 1-1 of 1

    • title
    • issue date
    • submit date
    • xmlui.ArtifactBrowser.ConfigurableBrowse.sort_by.datecreated
    • ascending
    • descending
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • Thumbnail

        Automated program generation : bridging the gap between model and implementation 

        Bezuidenhout, Johannes Abraham (Stellenbosch : Stellenbosch University, 2012-02)
        ENGLISH ABSTRACT: The general goal of this thesis is the investigation of a technique that allows model checking to be directly integrated into the software development process, preserving the benefits of model checking ...

        Browse

        All of SUNScholarCommunities & CollectionsBy TitleBy AuthorBy AdvisorBy DateBy SubjectBy TypeThis CollectionBy TitleBy AuthorBy AdvisorBy DateBy SubjectBy Type

        My Account

        LoginRegister
        Copyright © Stellenbosch University | ISSN-L 2310-7855
        Contact Us