6 search results - page 2 / 2 » Fluent model checking for event-based systems |
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...