Fachinformationsdienst BAUdigital

Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    Neue Suche nach: Lee, Yong-Cheol
    Neue Suche nach: Ghannad, Pedram
    Neue Suche nach: Dimyadi, Johannes
    Neue Suche nach: Lee, Jin-Kook
    Neue Suche nach: Solihin, Wawan
    Neue Suche nach: Zhang, Jiansong

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen
    Ähnliche Titel

    Exportieren, teilen und zitieren

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    Neue Suche nach: Lee, Yong-Cheol
    Neue Suche nach: Ghannad, Pedram
    Neue Suche nach: Dimyadi, Johannes
    Neue Suche nach: Lee, Jin-Kook
    Neue Suche nach: Solihin, Wawan
    Neue Suche nach: Zhang, Jiansong

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    Neue Suche nach: Lee, Yong-Cheol
    Neue Suche nach: Ghannad, Pedram
    Neue Suche nach: Dimyadi, Johannes
    Neue Suche nach: Lee, Jin-Kook
    Neue Suche nach: Solihin, Wawan
    Neue Suche nach: Zhang, Jiansong

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Zugriff

    Zugriff über TIB
    Verfügbarkeit in meiner Bibliothek prüfen
    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen
    Ähnliche Titel

    Exportieren, teilen und zitieren

    Dokumentinformationen
    Titel:

    A Comparative Analysis of Five Rule-Based Model Checking Platforms

    Beteiligte:

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

    Kongress:

    Construction Research Congress ; 2020 ; Tempe, Ariz.

    Erschienen in:

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

    Erscheinungsdatum:

    2020

    ISBN:

    9781713820376

    Medientyp:

    Aufsatz (Konferenz)

    Format:

    Print

    Sprache:

    Englisch

    Klassifikation:

    DDC:  690.028563

    Ähnliche Titel

    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

    Nach oben