Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    VERIFYING AND VALIDATING A LAND USE -- TRANSPORT -- ENVIRONMENT MODEL


    Contributors:


    Publication date :

    1998



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English



    Classification :

    Local classification TIB:    770/7000
    BKL:    55.80 / 55.80 Verkehrswesen, Transportwesen: Allgemeines / 74.75 / 74.75 Verkehrsplanung, Verkehrspolitik



    Verifying and validating a land use — transport — environment model

    Gu, Kevin / Young, William | Taylor & Francis Verlag | 1998



    A Structured Approach to Verifying and Validating Expert Systems

    McAlindon, P. J. / Gupta, U. G. | British Library Conference Proceedings | 1993



    A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking

    Schneider, F. / Easterbrook, S. / Callahan, J. et al. | NTRS | 1999