41 search results - page 9 / 9 » Reactive Modules |
EMSOFT
2011
Springer
12 years 4 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...