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/2010

Content (2 Articles)

Theorem prover approach to semistructured data design

Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves

MAVEN: modular aspect verification and interference analysis

Max Goldman, Emilia Katz, Shmuel Katz

Sep 10
Issue: 3/2010
Dec 10
Issue: 2-3/2010
Special issue on 'FM2009: 2nd World Congress on Formal Methods'

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits