Sciweavers

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

6

ISCAS
1994
IEEE

favoriteEmaildiscussreport

61views Hardware» more ISCAS 1994»

A Synthesis Framework Based on Trace and Automata Theory

13 years 9 months ago

A Synthesis Framework Based on Trace and Automata Theory

Download si2.epfl.ch

Jérôme Fron, Jerry Chih-Yuan Yang, Ma

Real-time Traffic

Hardware | ISCAS 1994 |

claim paper

Related Content

» Realizability of Concurrent Recursive Programs

» Synthesis of Distributed Algorithms Using Asynchronous Automata

» The Implementation of Mazurkiewicz Traces in POEM

» On Recognizable Stable Trace Languages

» Unfolding Synthesis of Asynchronous Automata

» Traces of IOAutomata in IsabelleHOLCF

» An AutomataBased Approach to Property Testing in Event Traces

» Synthesis of Synchronous Interfaces

» Timed IO Automata A Mathematical Framework for Modeling and Analyzing RealTime Systems

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	ISCAS
Authors	Jérôme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli

Comments (0)