Treffer 1 - 20 von 47 für Suche 'Hiraishi, Hiromi', Suchdauer: 0,99s Treffer weiter einschränken
  1. 1
    Yet more image computations for SMV, the symbolic model verifier

    Yet more image computations for SMV, the symbolic model verifier von Hiraishi, Hiromi

    Veröffentlicht in Systems and computers in Japan

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verification of deadlock free property of high level robot control

    Verification of deadlock free property of high level robot control von Hiraishi, H.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    GAME APPARATUS MANAGEMENT SYSTEM

    GAME APPARATUS MANAGEMENT SYSTEM von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  4. 4
    GAME MACHINE HAVING FUNCTION OF REDISPLAYING BIG HIT SYMBOL

    GAME MACHINE HAVING FUNCTION OF REDISPLAYING BIG HIT SYMBOL von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Design verification of a microprocessor using branching time regular temporal logic

    Design verification of a microprocessor using branching time regular temporal logic von Hamaguchi, Kiyoharu, Hiraishi, Hiromi, Yajima, Shuzo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    GAME BODY, GAME DEVICE AND GAME SYSTEM

    GAME BODY, GAME DEVICE AND GAME SYSTEM von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  7. 7
    PRIZE, GAME MACHINE, AND GAME SYSTEM

    PRIZE, GAME MACHINE, AND GAME SYSTEM von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  8. 8
    DATA TRANSMISSION RECEPTION SYSTEM

    DATA TRANSMISSION RECEPTION SYSTEM von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Vectorized symbolic model checking of computation tree logic for sequential machine verification

    Vectorized symbolic model checking of computation tree logic for sequential machine verification von Hiraishi, Hiromi, Hamaguchi, Kiyoharu, Ochi, Hiroyuki, Yajima, Shuzo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic

    Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic von Hamaguchi, Kiyoharu, Hiraishi, Hiromi, Yajima, Shuzo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Verification of the Futurebus+ cache coherence protocol

    Verification of the Futurebus+ cache coherence protocol von Clarke, Edmund M., Grumberg, Orna, Hiraishi, Hiromi, Jha, Somesh, Long, David E., McMillan, Kenneth L., Ness, Linda A.

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    COMMUNICATION KARAOKE MACHINE, HOST COMPUTER FOR COMMUNICATION KARAOKE, AND COMMUNICATION KARAOKE SYSTEM

    COMMUNICATION KARAOKE MACHINE, HOST COMPUTER FOR COMMUNICATION KARAOKE, AND COMMUNICATION KARAOKE SYSTEM von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    KARAOKE DEVICE WITH COMMUNICATION FUNCTION, METHOD FOR DISPLAYING INPUT DISPLAY MONITOR SCREEN OF THE DEVICE AND COMMUNICATION KARAOKE SYSTEM

    KARAOKE DEVICE WITH COMMUNICATION FUNCTION, METHOD FOR DISPLAYING INPUT DISPLAY MONITOR SCREEN OF THE DEVICE AND COMMUNICATION KARAOKE SYSTEM von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    KARAOKE DEVICE PROVIDED WITH COMMUNICATION FUNCTION, HOST COMPUTER FOR THE SAME AND KARAOKE SYSTEM PROVIDED WITH COMMUNICATION FUNCTION

    KARAOKE DEVICE PROVIDED WITH COMMUNICATION FUNCTION, HOST COMPUTER FOR THE SAME AND KARAOKE SYSTEM PROVIDED WITH COMMUNICATION FUNCTION von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  15. 15
    KARAOKE DEVICE

    KARAOKE DEVICE von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    KARAOKE DEVICE WITH COMMUNICATION FUNCTION

    KARAOKE DEVICE WITH COMMUNICATION FUNCTION von HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Regular temporal logic and its model checking problem

    Regular temporal logic and its model checking problem von Hamaguchi, Kiyoharu, Hiraishi, Hiromi, Yajima, Shuzo

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    KARAOKE DEVICE WITH COMMUNICATING FUNCTION, AND EXTERNAL STORAGE MEDIUM THEREFOR

    KARAOKE DEVICE WITH COMMUNICATING FUNCTION, AND EXTERNAL STORAGE MEDIUM THEREFOR von MINAMI TATSUO, HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Branching time regular temporal logic for model checking with linear time complexity

    Branching time regular temporal logic for model checking with linear time complexity von Hamaguchi, Kiyoharu, Hiraishi, Hiromi, Yajima, Shuzo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    JPH0261759B

    JPH0261759B von YAJIMA SHUZO, HIRAISHI HIROMI

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: