Zum Inhalt springen

  2. Namjoshi, Kedar S. [HerausgeberIn]; Yoneda, Tomohiro [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Okamura, Yoshio [Sonstige Person, Familie und Körperschaft] ; ATVA 5 2007 Tokio

    Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4762

  3. Higashino, Teruo [Sonstige Person, Familie und Körperschaft]

    Principles of Distributed Systems (vol. # 3544) : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3544

  4. Higashino, Teruo [VerfasserIn] ; Katayama, Yoshiaki [HerausgeberIn]; Masuzawa, Toshimitsu [HerausgeberIn]; Potop-Butucaru, Maria [HerausgeberIn]; Yamashita, Masafumi [HerausgeberIn]

    Stabilization, Safety, and Security of Distributed Systems : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8255

  5. Feng, Wu-chi [VeranstalterIn]; Higashino, Teruo [VeranstalterIn]; Mizuni, Tadanori [VeranstalterIn] ; IEEE International Conference on Distributed Computing Systems 36. 2016 Nara, Institute of Electrical and Electronics Engineers, IEEE Computer Society

    2016 IEEE 36th International Conference on Distributed Computing Systems : ICDCS 2016 : proceedings : 27-30 June 2016, Nara, Japan

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Piscataway, NJ: IEEE, 2016

  6. Suzuki, Kenji [Sonstige Person, Familie und Körperschaft]; El-Fakih, Khaled [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Yasumoto, Keiichi [Sonstige Person, Familie und Körperschaft]

    Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5048

  7. Suzuki, Kenji [Sonstige Person, Familie und Körperschaft]; Hasegawa, Toru [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Ulrich, Andreas [Sonstige Person, Familie und Körperschaft]

    Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5047

  8. Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Okamura, Yoshio [Sonstige Person, Familie und Körperschaft]; Yoneda, Tomohiro [Sonstige Person, Familie und Körperschaft]

    Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4762

  10. Higashino, Teruo

    Software-Intensive Systems and New Computing Paradigms: Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2008

    Erschienen in: Software-Intensive Systems and New Computing Paradigms

  11. Higashino, Teruo; Yamaguchi, Hirozumi

    Formal Techniques for Networked and Distributed Systems - FORTE 2005: A Testing Architecture for Designing High-Reliable MANET Protocols

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2005

    Erschienen in: Formal Techniques for Networked and Distributed Systems - FORTE 2005

  15. Amano, Tatsuya; Yamaguchi, Hirozumi; Higashino, Teruo

    Connected AR for Combating COVID-19

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2020

    Erschienen in: IEEE Internet of Things Magazine