Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ågren Thuné, Anders"'
Autor:
Ågren Thuné, Anders
Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryptio
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337228
Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280344
Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::49b8087992ab04da650b8d02c9035480
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280344
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280344