Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems


    Beteiligte:
    Ikeda, R. (Autor:in) / Narita, K. (Autor:in) / Nishizaki, S.-y. (Autor:in)


    Erscheinungsdatum :

    2011-01-01


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.16



    Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems

    Ikeda, Ritsuya / Narita, Kensuke / Nishizaki, Shin-ya | British Library Online Contents | 2011


    Model Checking Driven Simulation of Sat Procedures

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



    Formation Control of Distributed Systems: Computation Versus Cooperation

    Ashokkumar, C.R. / Curtis, Will / Murphey, Robert | AIAA | 2003


    Model Checking

    Dill, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995