Sciweavers

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

6

NJC
2002

favoriteEmaildiscussreport

54views more NJC 2002»

Code Synthesis for Timed Automata

13 years 4 months ago

Code Synthesis for Timed Automata

Download www.it.uu.se

Tobias Amnell, Elena Fersman, Paul Pettersson, Hon

Real-time Traffic

NJC 2002 |

claim paper

Related Content

» Verification Performance Analysis and Controller Synthesis for RealTime Systems

» Timing analysis of asynchronous circuits using timed automata

» Optimizations for LTL Synthesis

» On Synthesizing Controllers from BoundedResponse Properties

» As Soon as Possible Time Optimal Control for Timed Automata

» Automated Incremental Synthesis of Timed Automata

» Evolutionary Sound Synthesis Rendering Spectrograms from Cellular Automata Histograms

» NonInterference Control Synthesis for Security Timed Automata

» Synthesis of Synchronous Interfaces

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	NJC
Authors	Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi

Comments (0)