-
1مؤتمر
المؤلفون: Sanders, R.T., Braek, R.
المصدر: Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Software engineering and formal methods Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. :144-153 2004
Relation: Proceedings of the Second International Conference on Software Engineering and Formal Methods
-
2مؤتمر
المؤلفون: Frotveit, T., Braek, R., Andresen, S.
المصدر: Pacific Rim TransTech Conference. 1995 Vehicle Navigation and Information Systems Conference Proceedings. 6th International VNIS. A Ride into the Future Vehicle navigation and information systems Vehicle Navigation and Information Systems Conference, 1995. Proceedings. In conjunction with the Pacific Rim TransTech Conference. 6th International VNIS. 'A Ride into the Future'. :458-464 1995
Relation: Pacific Rim TransTech Conference. 1995 Vehicle Navigation and Information Systems Conference Proceedings. 6th International VNIS. A Ride into the Future
-
3مؤتمر
المؤلفون: Rosseboe, J.E.Y., Braek, R.
المصدر: First International Conference on Availability, Reliability and Security (ARES'06) Availability, Reliability and Security Availability, Reliability and Security, 2006. ARES 2006. The First International Conference on. :10 pp.-215 2006
Relation: Proceedings. The First International Conference on Availability, Reliability and Security
-
4
المؤلفون: Braek R. J. Urquhart, Pamela L. Cross
المصدر: Trusts & Trustees. :ttw203
مصطلحات موضوعية: 0106 biological sciences, Panama, Political science, Development economics, Economic history, 02 engineering and technology, 021001 nanoscience & nanotechnology, 0210 nano-technology, 010603 evolutionary biology, 01 natural sciences
-
5
المؤلفون: Mauw, S., Reniers, M.A., Braek, R., Sarma, A.
المساهمون: Mathematics and Computer Science, Formal Methods
المصدر: SDL'95 with MSC in CASE, 63-74
STARTPAGE=63;ENDPAGE=74;TITLE=SDL'95 with MSC in CASEمصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::015d0c0442aafc15b517bf2da9a0801a
https://research.tue.nl/nl/publications/af81cbe8-5a2f-485c-a9e8-de9868d52110 -
6دورية
المؤلفون: Cross, Pamela L., Urquhart, Braek R. J.
المصدر: Trusts & Trustees; February 2017, Vol. 23 Issue: 1 p8-13, 6p
-
7مؤتمر
المؤلفون: Kathayat, S.B., Braek, R.
المصدر: 2011 International Conference on Collaboration Technologies & Systems (CTS); 2011, p326-333, 8p
-
8مؤتمر
المؤلفون: Kathayat, S.B., Braek, R.
المصدر: 2009 International Conference on Mobile, Hybrid & On-line Learning; 2009, p53-60, 8p
-
9مؤتمر
المؤلفون: Rossebo, J.E.Y., Braek, R.
المصدر: 2008 Third International Conference on Availability, Reliability & Security; 2008, p597-603, 7p
-
10مؤتمر
المؤلفون: Samset, H., Braek, R.
المصدر: 2008 IEEE Congress on Services - Part I; 2008, p545-552, 8p