Xavier Devroey
Open Menu
Close Menu
Home
Publications
Courses
SNAIL team
ESC
All Results
Searching...
No results found
Clear search
↑↓
Navigate
↵
Select
Powered by Hugo Blox
KAOS
KAOS
Generating High-Level Event-B System Models from KAOS Requirements Models
Christophe Ponsard
•
Jan 1, 2011
•
1 min read
Read more
KAOS
Building a bridge between goal-oriented requirements with KAOS and event-B system specifications
Xavier Devroey
•
Jan 1, 2010
•
1 min read
Read more
