Searching for "Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables." – sorted by Relevance.
-
Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets
- Environment Assumptions and Real-Time Requirements for a Distributed Embedded System with Shared Variables 207
- Add To MetaCart

