Sciweavers

463 search results - page 28 / 93
» Using Colored Petri Nets for Conversation Modeling
Sort
View
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
14 years 3 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...