-
1
المؤلفون: Dong, Ning
المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Myreen, Magnus, Professor
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Datalogi, Computer Science
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-341484
https://kth.diva-portal.org/smash/get/diva2:1821827/FULLTEXT01.pdf -
2
المؤلفون: Thrysin, Åsa, Andersson, Rasmus, Ejlertsson, Anders, Erlandsson, Martin, Sandgren, Annamaria, Green, Jeanette, Görman, Frida
المصدر: B-rapport.
مصطلحات موضوعية: Bygg, vägledning, upphandling, klimatkrav, byggprojekt, upphandlingskriterier, kravställning, upphandlingstexter, informationskrav, förbättringskrav, prestandakrav, tilldelningskriterier, verifiering, ekonomiska konsekvenser, LOU, anbud, anbudsutvärdering, tilldelning, utvärdering, LCA, Livscykelanalys, tekniska anvisningar, byggsektorns Miljöberäkningsverktyg, BM, beräkningskvalitet, nyproduktion, renovering, ombyggnation, ROT
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ivl:diva-4196
https://ivl.diva-portal.org/smash/get/diva2:1759696/FULLTEXT01.pdf -
3
المؤلفون: 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 -
4
المؤلفون: Lindner, Andreas
المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Rezk, Tamara, Dr
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: Binary Code, Binary Analysis, Formal Verification, Model-Based Testing, Theorem Proving, HOL4, Intermediate Language, Instruction Set Architectures, ISA, Observational Models, Symbolic Execution, Weakest-Precondition, Execution Time Analysis, binärkod, binärkodsanalys, formell verifiering, modellbaserad testning, satsbevisning, mellankod, instruktionsuppsättningar, observationsmodeller, symbolisk exekvering, minst restriktiva villkoret, analys av övre tidsgräns, Datalogi, Computer Science
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
https://kth.diva-portal.org/smash/get/diva2:1755837/FULLTEXT01.pdf -
5
المؤلفون: Thrysin, Åsa, Andersson, Rasmus, Ejlertsson, Anders, Erlandsson, Martin, Sandgren, Annamaria, Green, Jeanette, Görman, Frida
المصدر: B-rapport.
مصطلحات موضوعية: Bygg, vägledning, upphandling, klimatkrav, byggprojekt, upphandlingskriterier, kravställning, upphandlingstexter, informationskrav, förbättringskrav, prestandakrav, tilldelningskriterier, verifiering, ekonomiska konsekvenser, LOU, anbud, anbudsutvärdering, tilldelning, utvärdering, LCA, Livscykelanalys, tekniska anvisningar, byggsektorns Miljöberäkningsverktyg, BM, beräkningskvalitet, nyproduktion, renovering, ombyggnation, ROT
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ivl:diva-4093
https://ivl.diva-portal.org/smash/get/diva2:1715649/FULLTEXT01.pdf -
6
المؤلفون: Thrysin, Åsa, Andersson, Rasmus, Ejlertsson, Anders, Erlandsson, Martin, Sandgren, Annamaria, Green, Jeanette
المصدر: B-rapport.
مصطلحات موضوعية: Bygg, vägledning, upphandling, klimatkrav, byggprojekt, upphandlingskriterier, kravställning, upphandlingstexter, informationskrav, förbättringskrav, prestandakrav, tilldelningskriterier, verifiering, ekonomiska konsekvenser, LOU, anbud, anbudsutvärdering, tilldelning, utvärdering, LCA, Livscykelanalys, tekniska anvisningar, byggsektorns Miljöberäkningsverktyg, BM, beräkningskvalitet, Sustainable urban planning, Hållbart samhällsbyggande
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ivl:diva-3798
https://ivl.diva-portal.org/smash/get/diva2:1583889/FULLTEXT01.pdf -
7
المؤلفون: Lindberg, Malin, Professor, 1978
مصطلحات موضوعية: social innovation, visualisering, verifiering, värde, Design
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-105559
https://ltu.diva-portal.org/smash/get/diva2:1859589/FULLTEXT01.pdf -
8
المؤلفون: Fridolf, Karl, Nilsson, Daniel, Frantzich, Håkan, Ronchi, Enrico, Arias, Silvia
المصدر: SP Rapport.
مصطلحات موضوعية: Utrymning, gånghastighet, rök, tillämpning, verifiering, beräkning, modellering, rekommendation, osäkerhetshantering.
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-27991
https://ri.diva-portal.org/smash/get/diva2:1072192/FULLTEXT01.pdf -
9
المؤلفون: Baquedano Romero, Kevin, Oudka, Saadia, Musa, Amira
مصطلحات موضوعية: Annan samhällsbyggnadsteknik, cracked glass beam, laminated glass, Other Civil Engineering, laminerat glas, verifiering av beräkningsmodell, hållfasthet, verification of a numerical model, effektiv tjocklek, effective thickness, bending stiffness, böjstyvhet, strength, glasbalk med spricka
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______681::43328796c815f7e137b65a821175d8e7
http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-114925 -
10
المؤلفون: Prabhakar, Gautham
مصطلحات موضوعية: SVA, TLV, formell verifiering, UVM, jasper gold, verification engineers, Electrical Engineering, Electronic Engineering, Information Engineering, formal verification, assertions, Elektroteknik och elektronik, verifierar
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______260::13450f51719a2eac9d4d8c0a02d86b0e
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-322836