-
1
المؤلفون: Khan, Muhammad Taimoor, Serpanos, Dimitrios, Shrobe, Howard
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Cryptography and Security (cs.CR)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dae35f34ff1b32944cfe8a7f2e227a67Test
-
2
المساهمون: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory, Shrobe, Howard E
المصدر: Multidisciplinary Digital Publishing Institute
Electronics; Volume 6; Issue 3; Pages: 58
Electronics, Vol 6, Iss 3, p 58 (2017)مصطلحات موضوعية: Correctness, Computer Networks and Communications, Computer science, Semantics (computer science), lcsh:TK7800-8360, 02 engineering and technology, run-time monitoring, security monitor, absence of false alarms, ICS, CPS, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Software system, Electrical and Electronic Engineering, Soundness, business.industry, lcsh:Electronics, 020208 electrical & electronic engineering, 020206 networking & telecommunications, Industrial control system, computer.file_format, Hardware and Architecture, Control and Systems Engineering, Embedded system, Middleware, Signal Processing, Executable, business, Software engineering, computer
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::782b3ccecaa9cc1c5679424af21eb78bTest
https://doi.org/10.3390/electronics6030058Test -
3
المؤلفون: Khan, Muhammad Taimoor, Serpanos, Dimitrios, Shrobe, Howard
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::220f455d066a97cfb11afcdbfbaba27fTest