Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Methods in System Design

Issue 1/2009

Content (3 Articles)

Safely composing security protocols

Véronique Cortier, Stéphanie Delaune

Before and after vacuity

Hana Chockler, Ofer Strichman

Timed verification of the generic architecture of a memory circuit using parametric timed automata

Remy Chevallier, Emmanuelle Encrenaz-Tiphene, Laurent Fribourg, Weiwen Xu

Dec 08
Issue: 1-3/2008
Apr 09
Issue: 2/2009
Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits