Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Finite State Verification of Intelligent Transportation Systems

    New search for: Baugh, J. W.
    New search for: Kakivaya, G. R.

    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, J. W.
    New search for: Kakivaya, G. R.

    Access

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

    Finite State Verification of Intelligent Transportation Systems

    New search for: Baugh, J. W.
    New search for: Kakivaya, G. R.

    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, J. W. (author) / Kakivaya, G. R. (author)

    Published in:

    JOURNAL OF COMPUTING IN CIVIL ENGINEERING ; 14 ; 38-50

    Publication date:

    2000-01-01

    Size:

    13 pages

    ISSN:

    0887-3801

    Type of media:

    Article (Journal)

    Type of material:

    Print

    Language:

    English

    Classification:

    DDC:  624

    © Metadata Copyright the British Library Board and other contributors. All rights reserved.

    Similar titles

    Finite State Verification of Intelligent Transportation Systems

    Baugh Jr, John W. | Online Contents | 2000

    Intelligent transportation systems

    IEEE | British Library Conference Proceedings | 1997

    Transportation infrastructure security utilizing intelligent transportation systems

    Fries, Ryan Nicholas | UB Braunschweig | 2009

    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

    Back to top