Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Nakata, Akio - Department of Informatics and Mathematical Science, Osaka University
DERIVING PARAMETER CONDITIONS FOR PERIODIC TIMED AUTOMATA
Protocol Synthesis from Timed and Structured Specifications Akio Nakata Teruo Higashino Kenichi Taniguchi
A Method for Functional Testing of Media Synchronization Protocols
A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval
TimeAction Alternating Model for Timed LOTOS and its Symbolic
Protocol Synthesis from Context-Free Processes using Event Structures Akio Nakata
http://www-higashi.ist.osaka-u.ac.jp/ Higashino Lab.
LOTOS enhancement to specify time constraint among non-adjacent actions using rst order logic
Symbolic Bisimulation Checking and Decomposition of RealTime Service Specifications
Protocol Synthesis from ContextFree Processes using Event Structures Akio Nakata
! "$#%& '()#021 3 #0 4!5)#% '6" (7 08$#0 9@
Symbolic Bisimulation Checking and Decomposition of Real-Time Service Speci cations
