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 2/2012

Content (3 Articles)

Deadlock-freedom in component systems with architectural constraints

Moritz Martens, Mila Majster-Cederbaum

A formal hierarchy of weak memory models

Jade Alglave

Probabilistic contracts for component-based design

Gregor Gössler, Dana N. Xu, Alain Girault

Aug 12
Issue: 1/2012
Special issue on Computer Aided Verification (CAV '11)
Dec 12
Issue: 3/2012
Special isue on 'Runtime Verification'

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits