Biblio

Export 1 results:
Filters: Автор is Dubravka Ilic  [Clear All Filters]
2010
"Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.