Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Finite State Verification of Intelligent Transportation Systems

    New search for: Baugh Jr, John W.

    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

    Finite State Verification of Intelligent Transportation Systems

    New search for: Baugh Jr, John W.

    Access

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

    Finite State Verification of Intelligent Transportation Systems

    New search for: Baugh Jr, John W.

    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:

    Finite State Verification of Intelligent Transportation Systems

    Contributors:

    Baugh Jr, John W. (author) / Kakivaya, GopalaKrishna Reddy

    Published in:

    Journal of computing in civil engineering ; 14

    Publication date:

    2000

    ISSN:

    0887-3801

    Type of media:

    Article (Journal)

    Type of material:

    Print

    Language:

    Unknown

    Keywords:

    Zeitschrift , Datenverarbeitung , Bauwesen

    Classification:

    BKL:  56.03 / 56.03 Methoden im Bauingenieurwesen
    Local classification TIB:  770/3130/6500

    Similar titles

    Finite State Verification of Intelligent Transportation Systems

    Baugh, J. W. / Kakivaya, G. R. | British Library Online Contents | 2000

    Intelligent transportation systems

    IEEE | British Library Conference Proceedings | 1997

    Transportation infrastructure security utilizing intelligent transportation systems

    Fries, Ryan Nicholas / Chowdhury, Mashrur A. / Brummond, Jeffrey | TIBKAT | 2009

    Transportation infrastructure security utilizing intelligent transportation systems

    Fries, Ryan Nicholas | UB Braunschweig | 2008

    Transportation infrastructure security utilizing intelligent transportation systems

    Fries, Ryan Nicholas | UB Braunschweig | 2009

    Back to top