Sciweavers

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

10

CODES
1998
IEEE

favoriteEmaildiscussreport

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

13 years 8 months ago

Modeling reactive systems in Java

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans

Real-time Traffic

CODES 1998 | Software Engineering |

claim paper

Related Content

» jcc Integrating Timed Default Concurrent Constraint Programming into Java

» Design and Specification of Embedded Systems in Java Using Successive Formal Refinement

» Reliability SelfAssessment in Reactive Autonomic Systems Autonomic SystemTime Reactive Mod...

» JTN A JavaTargeted Graphic Formal Notation for Reactive and Concurrent Systems

» SystemJ A GALS language for system level design

» Polymorphic subtyping in OHaskell

» ReactiveML a reactive extension to ML

» Reactive Petri Nets for Workflow Modeling

» Development and application of linear process model in estimation and control of reactive ...

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1998
Where	CODES
Authors	Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer

Comments (0)