Sciweavers

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

18

EMISA
2002
Springer

favoriteEmaildiscussreport

127views Information Technology» more EMISA 2002»

DAWN for component based systems - just a different perspective

13 years 4 months ago

DAWN for component based systems - just a different perspective

Download sunsite.informatik.rwth-aachen.de

DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that allows us to use it for verifying component bases systems by modelling components and their interaction independently of each other.

Ekkart Kindler

Real-time Traffic

EMISA 2002 | Information Technology | Network Algorithms | Petri Nets | Temporal Logic |

claim paper

Related Content

» Use casedriven component specification a medical applications perspective to product line ...

» Declarative PolicyBased Adaptive Mobile Ad Hoc Networking

» A nonlinear controloriented model for ionic polymermetal composite actuators

» Do These News Videos Portray a News Event from Different Ideological Perspectives

» Dialogues that account for different perspectives in collaborative argumentation

» Optimal Component Selection for ComponentBased Systems

» Does EigenPalm work A System and Evaluation Perspective

» An Integrated System for Moving Object Classification in Surveillance Videos

» A framework for detecting assessing and visualizing performance antipatterns in component ...

» ESIDE An Integrated Development Environment for ComponentBased Embedded Systems

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	EMISA
Authors	Ekkart Kindler

Comments (0)