( en | de | ru )

 

Disambiguation of "Nakata, Akio"

Author of the publication

copydeleteadd this publication to your clipboard
Protocol Synthesis from Context-Free Processes Using Event Structures.

, , and . RTCSA, page 173-180. IEEE Computer Society, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Akio Tsukimoto

Akio Sakaki

Akio Ito

Akio Ogawa

Paul Akio Sawada

 

Other publications of authors with the same name

Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas., and . FORTE, volume 197 of IFIP Conference Proceedings, page 151-168. Kluwer, (2001)A Method for Functional Testing of Media Synchronization Protocols., , , , and . ICOIN (2), volume 2344 of Lecture Notes in Computer Science, page 539-550. Springer, (2002)A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels., , , , , and . FME, volume 2391 of Lecture Notes in Computer Science, page 607-624. Springer, (2002)Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence., , and . FORTE, volume 69 of IFIP Conference Proceedings, page 279-294. Chapman & Hall, (1996)Generating Test Cases for a Timed I/O Automaton Model., , , and . IWTCS, volume 147 of IFIP Conference Proceedings, page 197-214. Kluwer, (1999)A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems., , , , and . RTSS, page 437-446. IEEE Computer Society, (2004)Protocol synthesis from timed and structured specifications., , and . ICNP, page 74-. IEEE Computer Society, (1995)A real time budgeting method for module-level-pipelined bus based system using bus scenarios., , , and . DAC, page 37-42. ACM, (2006)Automatic Decomposition of Java Program for Implementation on Mobile Terminals., , , and . AINA, page 544-549. IEEE Computer Society, (2005)LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic., , and . FORTE, volume C-22 of IFIP Transactions, page 451-466. North-Holland, (1993)