-
1دورية أكاديمية
المؤلفون: Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 42-55 (2015)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 181, Iss Proc. GaM 2015, Pp 32-47 (2015)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M Poskitt
المصدر: Cybersecurity, Vol 4, Iss 1, Pp 1-24 (2021)
مصطلحات موضوعية: Cyber-physical systems, Critical infrastructure, Industrial control systems, Systematic design framework, Axiomatic design, Invariants, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
Relation: https://doaj.org/toc/2523-3246
-
4
المؤلفون: Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang
المصدر: IEEE Transactions on Software Engineering. :1-19
مصطلحات موضوعية: Software
-
5
المؤلفون: Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay
المصدر: IEEE Robotics and Automation Letters. 7:9334-9341
مصطلحات موضوعية: Human-Computer Interaction, Control and Optimization, Artificial Intelligence, Control and Systems Engineering, Mechanical Engineering, Biomedical Engineering, Computer Vision and Pattern Recognition, Computer Science Applications
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3a0d17230e35cd67300a590e27e08226
https://doi.org/10.1109/lra.2022.3189783 -
6
المؤلفون: Reiko Heckel, Christopher M. Poskitt
المصدر: Electronic Proceedings in Theoretical Computer Science. 374
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aa92dfc9d91171b03b835025e45603ef
https://doi.org/10.4204/eptcs.374.0 -
7
المؤلفون: Rajib Ranjan Maiti, Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
المصدر: IEEE Transactions on Dependable and Secure Computing. :1-14
مصطلحات موضوعية: Electrical and Electronic Engineering
-
8
المؤلفون: Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4af6472c45f4c6febb997eda203a6960
http://arxiv.org/abs/2208.14656 -
9
مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Computers and Society, Computer Science - Software Engineering, Computer Science - Cryptography and Security, Computers and Society (cs.CY), ComputingMilieux_COMPUTERSANDEDUCATION, Cryptography and Security (cs.CR)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd7c06676ee42ab8f93c8bc75f95f862
http://arxiv.org/abs/2204.12416 -
10
المؤلفون: Christopher M. Poskitt, Detlef Plump
المصدر: Journal of Logical and Algebraic Methods in Programming. 130:100825
مصطلحات موضوعية: Computational Theory and Mathematics, Logic, Software, Theoretical Computer Science