-
1دورية أكاديمية
المؤلفون: Backes, J., Bolignano, P., Cook, B., Gacek, A., Luckow, K., Rungta, N., Schaef, M., Schlesinger, C., Tanash, R., Varming, C., Whalen, M.
المصدر: IEEE Software IEEE Softw. Software, IEEE. 36(6):61-65 Jan, 2019
-
2دورية أكاديمية
المؤلفون: Mercer, E., Rungta, N., Gillan, D.J.
المصدر: IEEE Transactions on Human-Machine Systems IEEE Trans. Human-Mach. Syst. Human-Machine Systems, IEEE Transactions on. 46(2):169-173 Apr, 2016
-
3مؤتمر
المؤلفون: Rungta, N., Mercer, E.G.
المصدر: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on. :247-256 Sep, 2007
Relation: Fifth IEEE International Conference on Software Engineering and Formal Methods
-
4مؤتمر
المؤلفون: Rungta, N., Mercer, E.G.
المصدر: 2006 Formal Methods in Computer Aided Design Formal Methods in Computer Aided Design, 2006. FMCAD '06. :60-67 Nov, 2006
Relation: 2006 Formal Methods in Computer Aided Design
-
5دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7
المؤلفون: Kersten, R., Gastel, B. van, Drijvers, M., Smetsers, S., Eekelen, M.C.J.D. van, Brat, G., Rungta, N., Venet, A.
المساهمون: Brat, G., Rungta, N., Venet, A.
المصدر: Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 63-77. Berlin : Springer
STARTPAGE=63;ENDPAGE=77;TITLE=Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, ; 7871, pp. 63-77مصطلحات موضوعية: ComputingMethodologies_DOCUMENTANDTEXTPROCESSING, Digital Security
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e7d3b55696cb0af195c50346837663ef
http://hdl.handle.net/2066/122773 -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9
المؤلفون: Hamon, A., Krantz, Christian, Rungta, N., Mercer, E.
المصدر: AIAA Modeling and Simulation Technologies Conference, 2016.
مصطلحات موضوعية: Abstracting, Advanced traffic management systems, Air traffic control, Air transportation, Aircraft control, Free flight, Multi agent systems, NASA, Specifications, Air Traffic Management, Functional specification, Model implementation, Multi agent system models, National air spaces, National airspace system, Sequencing and scheduling, Terminal radar approach controls, Interoperability
وصف الملف: print
-
10
المؤلفون: Remenska, D., Templon, J.A., Willemse, T.A.C., Homburg, P., Verstoep, K., Casajus, A., Bal, H.E., Brat, G., Rungta, N., Venet, A.
المساهمون: Formal System Analysis
المصدر: NASA Formal Methods (5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings), 244-260
STARTPAGE=244;ENDPAGE=260;TITLE=NASA Formal Methods (5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642380877
NASA Formal Methodsمصطلحات موضوعية: UML tool, business.industry, Computer science, Programming language, Modeling language, Software development, Applications of UML, computer.software_genre, Unified Modeling Language, Shlaer–Mellor method, Software design, Software engineering, business, computer, Object Constraint Language, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d2dfc1e01a4b377cb30c01fa9169d6c
https://research.tue.nl/en/publications/15c0f2ec-3257-4cb1-b4eb-770d89ac7130