-
1
المؤلفون: Moritz, Johan
مصطلحات موضوعية: Model checking, Computer and Information Sciences, Blockchain, TLA+, Reproducible builds, Collaborative intelligence, Reproducerbara byggen, Data- och informationsvetenskap, Modeltestning, Kollaborativ intelligens, Hyperledger Fabric, Blockkedjor
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______260::618f128df5e5022e4662b7c46132c5f4
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329759 -
2مورد إلكتروني
عناروين إضافية: Decentraliserad validering av reproducerbara byggen : Ett protokoll för kollaborativ och decentraliserad validering av paketreproducerbarhet
مصطلحات الفهرس: Blockchain, Reproducible builds, Collaborative intelligence, Model checking, Hyperledger Fabric, TLA+, Blockkedjor, Reproducerbara byggen, Kollaborativ intelligens, Modeltestning, Computer and Information Sciences, Data- och informationsvetenskap, Student thesis, info:eu-repo/semantics/bachelorThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329759
TRITA-EECS-EX ; 2023:363 -
3مورد إلكتروني
عناروين إضافية: Decentraliserad validering av reproducerbara byggen : Ett protokoll för kollaborativ och decentraliserad validering av paketreproducerbarhet
مصطلحات الفهرس: Blockchain, Reproducible builds, Collaborative intelligence, Model checking, Hyperledger Fabric, TLA+, Blockkedjor, Reproducerbara byggen, Kollaborativ intelligens, Modeltestning, Computer and Information Sciences, Data- och informationsvetenskap, Student thesis, info:eu-repo/semantics/bachelorThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329759
TRITA-EECS-EX ; 2023:363