Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Security and the Tunnel - The unit load checking procedures explained


    Published in:

    CARGO SYSTEMS ; 24 , 1 ; 68


    Publication date :

    1997-01-01


    Size :

    68 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    388.044



    Model Checking Satellite Operational Procedures

    Cavaliere, F. / Mari, F. / Melatti, I. et al. | British Library Conference Proceedings | 2011


    Infosecurity Europe Security issues explained

    British Library Online Contents | 2003


    Model Checking Driven Simulation of Sat Procedures

    Verzino, G. / Cavaliere, F. / Mari, F. et al. | British Library Conference Proceedings | 2012


    A SAFETY APPARATUS FOR TUNNEL CHECKING

    YI UN SANG | European Patent Office | 2016

    Free access