Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    New search for: Lee, Yong-Cheol
    New search for: Ghannad, Pedram
    New search for: Dimyadi, Johannes
    New search for: Lee, Jin-Kook
    New search for: Solihin, Wawan
    New search for: Zhang, Jiansong

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    New search for: Lee, Yong-Cheol
    New search for: Ghannad, Pedram
    New search for: Dimyadi, Johannes
    New search for: Lee, Jin-Kook
    New search for: Solihin, Wawan
    New search for: Zhang, Jiansong

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    New search for: Lee, Yong-Cheol
    New search for: Ghannad, Pedram
    New search for: Dimyadi, Johannes
    New search for: Lee, Jin-Kook
    New search for: Solihin, Wawan
    New search for: Zhang, Jiansong

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Document information
    Title:

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    Contributors:

    Lee, Yong-Cheol (author) / Ghannad, Pedram (author) / Dimyadi, Johannes (author) / Lee, Jin-Kook (author) / Solihin, Wawan (author) / Zhang, Jiansong (author)

    Conference:

    Construction Research Congress ; 2020 ; Tempe, Ariz.

    Published in:

    Construction Research Congress 2020 ; Volume 2, volume 2 of 2

    Publication date:

    2020

    ISBN:

    9781713820376

    Type of media:

    Conference paper

    Type of material:

    Print

    Language:

    English

    Classification:

    DDC:  690.028563

    Similar titles

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    Lee, Yong-Cheol / Ghannad, Pedram / Dimyadi, Johannes et al. | ASCE | 2020

    Automatic rule-based checking of building designs

    Eastman, C. | Online Contents | 2009

    Automatic rule-based checking of building designs

    Eastman, C. | Online Contents | 2009

    Automatic rule-based checking of building designs

    Eastman, C. / Lee, J. m. / Jeong, Y. s. et al. | British Library Online Contents | 2009

    A semantic rule checking environment for building performance checking

    Pauwels, P. / Van Deursen, D. / Verstraeten, R. et al. | British Library Online Contents | 2011

    Back to top