-
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
مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::def0b5e3625a81a1d4ae5131b671114eTest
http://arxiv.org/abs/1412.2328Test -
4
المؤلفون: 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
-
5
المؤلفون: Fragopoulos, Anastasios, Gialelis, John, Serpanos, Dimitrios
المصدر: Cutting Edge Research in New Technologies
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=intech______::5d4afd08916bf24f3150454d726fd67eTest
http://www.intechopen.com/articles/show/title/drm-security-enabling-mechanisms-leveraging-user-centric-multimedia-convergenceTest -
6
المؤلفون: Pnevmatikatos Dionysios, Kornaros Georgios, Panagiota Vatsolaki, Georgios Kalokerinos, Chara Xanthaki, Dimitrios Mavroidis, Serpanos, Dimitrios, Katevenis, Manolis G
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od______4037::673c80e166598bc3092f500b6d54c281Test
https://www.ics.forth.gr/carv/atlasI/hoti98/atlasI_hoti98.psTest