Browsing by Author "Boute, R."
Now showing 1 - 5 of 5
- Results per page
- Sort Options
Publication Declarative specification and calculation in view of software evolution
Boute, R.Proceedings paper2002, FWO Research Network Meeting on Foundations of Software Evolution, 18/01/2002Publication Formal methods and signal processing
Boute, R.Meeting abstract2008-05, 15th International Symposium on Formal Methods - FM, 23/05/2008, p.1-3Publication Formal methods unifying computing science and systems theory
Boute, R.Journal article2005, Journal of Systemics, Cybernetics and Informatics, (3) 4Publication Formal methods: teaching and practicing computer science at the university level
Boute, R.Proceedings paper2008-10, 1st International Workshop on Formal Methods Education and Training, 28/10/2008, p.11-25Publication Simple gedanken experiments in leveraging applications of formal methods
Boute, R.Proceedings paper2008-10, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 13/10/2008, p.847-861