Activities per year
Activities
- 4 results
Search results
-
23rd International Conference on Formal Methods for Industrial Critical Systems (Event)
Macedo, H. D. (Reviewer)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
-
6TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (Event)
Macedo, H. D. (Editor)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
-
22nd International Symposium on Formal Methods (Event)
Macedo, H. D. (Editor)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
-
1st International Workshop on Robotics Software Engineering (Event)
Macedo, H. D. (Editor)
2018Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research