University of Limerick Institutional Repository

Browsing LERO by Subject "behaviour synthesis"

DSpace/Manakin Repository

Browsing LERO by Subject "behaviour synthesis"

Sort by: Order: Results:

  • Shokry, Hesham (Association for Computing Machinery, 2010)
    Early system requirements are often captured by declarative and property-based artifacts, such as scenarios and goals. While such artifacts are intuitive and useful, they are partial and typically lack an overarching ...

Search DSpace


Advanced Search

Browse

My Account