Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Mads Dam 35 träffar

Titel Författare År Språk
1 Algorithmic Verification Techniques for Mobile Code Irem Aktug 2008 Engelska
2 State space representation for verification of open systems Irem Aktug 2006 Engelska
3 Reasoning about higher-order processes Roberto M. Amadio 1994 Engelska
4 Towards a model theory of types for the π-calculus Roberto M. Amadio 1996 Engelska
5 Analysis and verification of multible agent languages - 5th LOMAPS Workshop : abstracts LOMAPS Workshop on Analysis and Verification of Multible - Agent Languages 1996 : Stockholm) 1996 Engelska
6 Analysis and verification of multiple agent languages LOMAPS Workshop on Analysis and Verification of Multiple- Agent Languages 1996 : Stockholm) cop. 1997 Engelska
7 Analysis and Verification of Multiple-Agent Languages LOMAPS Workshop 1997 Engelska
8 Automating Information Flow Analysis of Low Level Code USA Arizona Scottsdale 2014 November 3–7 CCS’14 Musard Balliu 2014 Engelska
9 Compositional Verification of Security Properties for Embedded Execution Platforms PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems Christoph Baumann 2017 Engelska
10 Trustworthy prevention of code injection in Linux on embedded devices ESORICS 2015; Vienna; Austria 20th European Symposium on Research in Computer Security Hind Chfouka 2015 Engelska
11 A complete axiomatization of knowledge and cryptography - technical report Mika Cohen 2007 Engelska
12 Logics of Knowledge and Cryptography - Completeness and Expressiveness Mika Cohen 2007 Engelska
13 Computer Science Logic 2017 Sweden Stockholm 2017 August 20–24 CSL 2017 26th EACSL Annual Conference on Computer Science Logic 2017 Engelska
14 Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Germany 2013 Berlin 2013 ACM SIGSAC Conference on Computer & Communications Security (CCS'13),November 4 - 8 Mads Dam 2013 Engelska
15 Machine Code Verification of a Tiny ARM Hypervisor Germany Berlin November 4 2013 TrustED 13 Mads Dam 2013 Engelska
16 On adaptable support for cooperative work Mads Dam 1994 Engelska
17 On the decidability of process equivalences for the π-calculus Mads Dam 1994 Engelska
18 On the verification of open distributed systems Mads Dam 1997 Engelska
19 Refinement-Based Verification of Device-to-Device Information Flow 2021 October 19-22 USA CT New Haven FMCAD 2021 Formal Methods in Computer Aided Design Ning Dong 2021 Engelska
20 Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software Ning Dong 2024 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.