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

Content (3 Articles)

Providing a formal linkage between MDG and HOL

Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Designing communicating transaction processes by supervisory control theory

L. Feng, W. M. Wonham, P. S. Thiagarajan

Verification of bounded Petri nets using integer programming

Victor Khomenko, Maciej Koutny

Feb 07
Issue: 1/2007
Special Issue on MEMOCODE 2004; Guest Editors: Constance Heitmeyer and Jean-Pierre Talpin
Jun 07
Issue: 3/2007
Special issue of Selected Papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria; Guest Editors: Andrew Butterfield, Juan C. Bicarregui and Alvaro Arenas

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits