-
401Published 2005Table of Contents: “… -- Static Analysis of Authentication -- FOSAD 2005 (19-24 September 2005) -- Formal Methods for Smartcard…”
Full Text via HEAL-Link
Electronic eBook -
402
-
403Published 2004Table of Contents: “… and Simulation -- Languages for Formal Methods -- Linking Architectural and Component Level System Views…”
Full Text via HEAL-Link
Electronic eBook -
404Published 2009Table of Contents: “… Architecture -- Phish and Chips -- Phish and Chips -- Where Next for Formal Methods? -- Where Next for Formal…”
Full Text via HEAL-Link
Electronic eBook -
405
-
406Published 2018Table of Contents: “… -- Cryptographic Hardware Cryptographic Software -- Cryptographic Protocols -- Formal Methods in Cryptographic…”
Full Text via HEAL-Link
Electronic eBook -
407Published 2003Table of Contents: “… and Education towards Formal Methods Practice -- Poster Presentations -- Evaluating Agent-Based Modeling as a…”
Full Text via HEAL-Link
Electronic eBook -
408Published 2007Table of Contents: “… -- Formal Methods in Security I -- A Logic for State-Modifying Authorization Policies -- Inductive Proofs…”
Full Text via HEAL-Link
Electronic eBook -
409Published 2008Table of Contents: “… Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based…”
Full Text via HEAL-Link
Electronic eBook -
410Published 2005Table of Contents: “… and Challenges in Model-Checking -- Applied Formal Methods – From CSP to Executable Hybrid Specifications.…”
Full Text via HEAL-Link
Electronic eBook -
411
-
412
-
413
-
414
-
415
-
416
-
417
-
418
-
419
-
420