default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 4

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 4, Number 1, January 1994

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/VerkestCM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/VerkestCM94
Diederik Verkest, Luc J. M. Claesen, Hugo De Man:
A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. 5-31
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KishinevskyKTV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KishinevskyKTV94
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky:
Analysis and Identification of Speed-Independent Circuits on an Event Model. 33-75

Volume 4, Number 2, February 1994

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HarknessW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HarknessW94
Cheryl Harkness, Elizabeth Wolf:
Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. 83-97
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FischerS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FischerS94
Siegfried Fischer, Andreas Scholz:
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. 99-122
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PortaS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PortaS94
Thomas F. La Porta, Mischa Schwartz:
Verification of the MultiStream Potocol (MSP) Using COSPAN. 123-153
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Rovers94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Rovers94
W. M. H. M. Rovers:
Description of a Design Management System for the P-ASIC Design Flow Using EXPDL. 155-166
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PlessierHS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PlessierHS94
Bernard Plessier, Gary D. Hachtel, Fabio Somenzi:
Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. 167-185
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FantechiGR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FantechiGR94
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Model Checking for Action-Based Logics. 187-203

Volume 4, Number 3, May 1994

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BaileyMM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BaileyMM94
Andrew M. Bailey, George Alexander McCaskill, George J. Milne:
An Exercise in the Automatic Verification of Asynchronous Designs. 213-242
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FantechiGRCVM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FantechiGRCVM94
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini:
Assisting Requirement Formalization by Means of Natural Language Translation. 243-263
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Stavridou94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Stavridou94
Victoria Stavridou:
Gordon's Computer: A Hardware Verification Case Study in OBJ3. 265-310

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.