-
1
المؤلفون: Haglund, Jonas
المساهمون: Guanciale, Roberto, Dam, Mads, 1955, Virgil, Gligor, Professor
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: formal verification, interactive theorem proving, direct memory access, memory isolation, input/output, formell verifiering, interaktiv datorassisterad beviskonstruktion, direkt minnesåtkomst, minnesisolering, indata/utdata, Datalogi, Computer Science
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
https://kth.diva-portal.org/smash/get/diva2:1758753/FULLTEXT04.pdf -
2مورد إلكتروني
مصطلحات الفهرس: formal verification, interactive theorem proving, direct memory access, memory isolation, input/output, formell verifiering, interaktiv datorassisterad beviskonstruktion, direkt minnesåtkomst, minnesisolering, indata/utdata, Computer Systems, Datorsystem, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
TRITA-EECS-AVL ; 2013:48 -
3مورد إلكتروني
مصطلحات الفهرس: formal verification, interactive theorem proving, direct memory access, memory isolation, input/output, formell verifiering, interaktiv datorassisterad beviskonstruktion, direkt minnesåtkomst, minnesisolering, indata/utdata, Computer Systems, Datorsystem, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
TRITA-EECS-AVL ; 2013:48 -
4مورد إلكتروني
مصطلحات الفهرس: formal verification, interactive theorem proving, direct memory access, memory isolation, input/output, formell verifiering, interaktiv datorassisterad beviskonstruktion, direkt minnesåtkomst, minnesisolering, indata/utdata, Computer Systems, Datorsystem, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
TRITA-EECS-AVL ; 2013:48 -
5مورد إلكتروني
مصطلحات الفهرس: formal verification, interactive theorem proving, direct memory access, memory isolation, input/output, formell verifiering, interaktiv datorassisterad beviskonstruktion, direkt minnesåtkomst, minnesisolering, indata/utdata, Computer Systems, Datorsystem, Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-327312
TRITA-EECS-AVL ; 2013:48