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

Content (3 Articles)

A Unifying Theoretical Background for Some Bdd-based Data Structures

Christoph Meinel, Anna Slobodová

The T-Ruby Design System

Robin Sharp, Ole Rasmussen

Bounded Delay Timing Analysis of a Class of CSP Programs

Henrik Hulgaard, Steven M. Burns

Aug 97
Issue: 2/1997
Jan 98
Issue: 1/1998

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits