default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 17

> 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 17, Number 1, August 2000

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Mendler00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Mendler00
Michael Mendler:
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. 5-37
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Wang00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Wang00
Farn Wang:
Parametric Analysis of Computer Systems. 39-60
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AmadioP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AmadioP00
Roberto M. Amadio, Sanjiva Prasad:
Modelling IP Mobility. 61-99

Volume 17, Number 2, October 2000

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/QuerCCLSB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/QuerCCLSB00
Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton:
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. 107-134
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BerryS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BerryS00
Gérard Berry, Ellen Sentovich:
An Implementation of Constructive Synchronous Programs in POLIS. 135-161
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CamposCG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CamposCG00
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg:
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. 163-192

Volume 17, Number 3, December 2000

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WingW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WingW00
Jeannette M. Wing, Jim Woodcock:
Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. 199-200
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BarbutiFSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BarbutiFSV00
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Logic Based Abstractions of Real-Time Systems. 201-220
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Monin00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Monin00
Jean-François Monin:
Proving the Correctness of the Standardized Algorithm for ABR Conformance. 221-243
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SabatierL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SabatierL00
Denis Sabatier, Pierre Lartigue:
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. 245-272

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.