( en | de | ru )

 

Disambiguierung von "Taniguchi, Kenichi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.

, , , , und . DAC, Seite 762-767. ACM, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kenichi Ishikawa

Yasaburo Taniguchi

Kenichi Kida

Kenichi Moriya

Kenichi Shinohara

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Verification of Equivalence of Protocol Machines., , , , und . PSTV, Seite 235-246. North-Holland, (1989)A LOTOS Compiler Generating Multi-threaded Object Codes., , , , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 271-286. Chapman & Hall, (1995)A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels., , , , , und . FME, Volume 2391 von Lecture Notes in Computer Science, Seite 607-624. Springer, (2002)Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol., , , , und . Syst. Comput. Jpn., 20 (5): 57-68 (1989)Extension of SMIL with QoS Control and its Implementation., , , , , und . IEEE International Conference on Multimedia and Expo (III), Seite 1683-1686. IEEE Computer Society, (2000)Protocol Synthesis from Time Petri Net Based Service Specification., , , und . ICPADS, Seite 236-243. IEEE Computer Society, (1997)Formal Verification of CPU in Laboratory Work., , , , und . MSE, Seite 32-34. IEEE Computer Society, (2001)Protocol visualization using LOTOS multi-rendezvous mechanism., , , und . ICNP, Seite 118-125. IEEE Computer Society, (1995)Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach., , , und . TPCD, Volume 901 von Lecture Notes in Computer Science, Seite 165-184. Springer, (1994)Compiling and Optimizing Methods for the Functional Language ASL/F., , , und . Sci. Comput. Program., 7 (3): 297-312 (1986)