17 search results - page 4 / 4 » DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Net... |
SACMAT
2003
ACM
14 years 22 days ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
TCS
2002
13 years 7 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...