Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Invariant Approach For Validation of Aggregative Specifications



    Conference:

    NATO Advanced Study Institute, Verification and validation of complex and integrated human-machine systems ; 1992 ; Viermo; Portugal



    Publication date :

    1993-01-01


    Size :

    8 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    An aggregative model of trip making

    Kanafani, Adib K. | Elsevier | 1971


    Reconfigurable thruster selection algorithms for aggregative spacecraft systems

    Jewison, Christopher Michael | DSpace@MIT | 2014

    Free access

    Hierarchical Accumulative Validation of Executable Control Specifications

    Mizuno, Hideaki / Farnsworth, Jared / Ueda, Koichi et al. | SAE Technical Papers | 2013


    Hierarchical Accumulative Validation of Executable Control Specifications

    Farnsworth, J. / Ueda, K. / Mizuno, H. et al. | British Library Conference Proceedings | 2013