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 3/2006

Content (3 Articles)

Question-guided stubborn set methods for state properties

L. M. Kristensen, K. Schmidt, A. Valmari

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott

Data structures for symbolic multi-valued model-checking

Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Lai, Steve Easterbrook

Sep 06
Issue: 2/2006
Special Issue on Parallel and Distributed Databases; Guest Editors: Lubos Brim and Martin Leucker
Feb 07
Issue: 1/2007
Special Issue on MEMOCODE 2004; Guest Editors: Constance Heitmeyer and Jean-Pierre Talpin

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits