المؤلفون: Lucas C. Cordeiro, Eddie B. de Lima Filho, Iury V. Bessa

المصدر: IET Cyber-Physical Systems (2019)

مصطلحات موضوعية: formal verification, software architecture, multiprocessing systems, embedded systems, cyber-physical systems, system class, ecps, system development, test vectors, assertion-based verification, high-level processor models, meeting time, energy constraints, concurrent software, operation logic, symbolic model checking techniques, reliability issues, correct-by-construction systems, automated symbolic verification, automotive device control, health care, mobile devices, internet of things, consumer electronics, multicore processors, signal-processing pipelines, computational power, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2018.5006; https://doaj.org/toc/2398-3396

URL الوصول: https://doaj.org/article/c697d20f660a4d3b9dfb347d81fe9d6e