-
1
المؤلفون: Yu Huang, Tao Wang, Zihui Yin, Eric Mercer, Benjamin Ogles
المصدر: IEEE Transactions on Parallel and Distributed Systems. 34:400-415
مصطلحات موضوعية: Computational Theory and Mathematics, Hardware and Architecture, Signal Processing
-
2
المؤلفون: Darren Cofer, Isaac Amundson, Junaid Babar, David Hardin, Konrad Slind, Perry Alexander, John Hatcliff, null Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton
المصدر: IEEE Security & Privacy. 20:52-64
مصطلحات موضوعية: Computer Networks and Communications, Electrical and Electronic Engineering, Law
-
3
المؤلفون: Eric Mercer, Keith Butler, Ali Bahrami
المصدر: 2022 IEEE International Systems Conference (SysCon).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3583200a62f045b2435e10fcb6077165
https://doi.org/10.1109/syscon53536.2022.9773873 -
4
المؤلفون: Jason Belt, John Hatcliff, null Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent Mcleod
المصدر: Journal of Systems Architecture. 134:102789
مصطلحات موضوعية: Hardware and Architecture, Software
-
5
المؤلفون: Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker
المصدر: Model Checking Software ISBN: 9783031150760
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3b509be588e5d3780ff67013e7a42a59
https://doi.org/10.1007/978-3-031-15077-7_6 -
6
المؤلفون: Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren Cofer, Eric Mercer
المصدر: Lecture Notes in Computer Science ISBN: 9783031067723
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::00b8e17fb7ff386c616f545f8dfb0a94
https://doi.org/10.1007/978-3-031-06773-0_19 -
7
المؤلفون: Konrad Slind, David S. Hardin, Isaac Amundson, Eric Mercer, Darren Cofer, Junaid Babar
المصدر: MODELS
مصطلحات موضوعية: Guard (information security), Spoofing attack, Computer science, business.industry, Avionics, Software, Modeling and Simulation, Component (UML), Formal specification, Systems engineering, business, Computer-aided software engineering, Implementation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60cc4d1faf50e61ae5988f3de4e40d29
https://doi.org/10.1109/models50736.2021.00029 -
8
-
9
-
10