Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ICNP
1995
IEEE

favoriteEmaildiscussreport

74views Computer Networks» more ICNP 1995»

Protocol synthesis from timed and structured specifications

13 years 9 months ago

Protocol synthesis from timed and structured specifications

Download www.ieee-icnp.org

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Real-time Traffic

Computer Networks | ICNP 1995 |

claim paper

Related Content

» Protocol Synthesis from ContextFree Processes Using Event Structures

» Synthesis from ProductionBased Specifications

» Hardware synthesis from protocol specifications in LOTOS

» Dynamic scheduling and synchronization synthesis of concurrent digital systems under syste...

» From Program Verification to Program Synthesis

» High Level Synthesis of Timed Asynchronous Circuits

» Specification Synthesis for Monitoring and Analysis of MANET Protocols

» Constructive Protocol Specification Using Cicero

» Image Synthesis for Branching Structures

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	ICNP
Authors	Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Comments (0)