المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::450c04eb474dddceaa8c5252fdfcb2a2
https://doi.org/10.1093/tandt/ttw203

المؤلفون: 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

المؤلفون: Cross, Pamela L., Urquhart, Braek R. J.

المصدر: Trusts & Trustees; February 2017, Vol. 23 Issue: 1 p8-13, 6p

المؤلفون: Kathayat, S.B., Braek, R.

المصدر: 2011 International Conference on Collaboration Technologies & Systems (CTS); 2011, p326-333, 8p

المؤلفون: Kathayat, S.B., Braek, R.

المصدر: 2009 International Conference on Mobile, Hybrid & On-line Learning; 2009, p53-60, 8p

المؤلفون: Rossebo, J.E.Y., Braek, R.

المصدر: 2008 Third International Conference on Availability, Reliability & Security; 2008, p597-603, 7p

المؤلفون: Samset, H., Braek, R.

المصدر: 2008 IEEE Congress on Services - Part I; 2008, p545-552, 8p