default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 37

> 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 37, Number 1, November 2010

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LeeDSG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LeeDSG10
Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves:
Theorem prover approach to semistructured data design. 1-60
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GoldmanKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GoldmanKK10
Max Goldman, Emilia Katz, Shmuel Katz:
MAVEN: modular aspect verification and interference analysis. 61-92

Volume 37, Numbers 2-3, December 2010

Special issue on 'FM2009: 2nd World Congress on Formal Methods'

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CavalcantiD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CavalcantiD10
Ana Cavalcanti, Dennis Dams:
Special issue: 2nd World Congress on Formal Methods. 93-94
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Boute10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Boute10
Raymond T. Boute:
Pointfree expression and calculation: from quantification to temporal logic. 95-140
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Gast10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Gast10
Holger Gast:
Reasoning about memory layouts. 141-170
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HoenickeLPSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HoenickeLPSW10
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies:
Doomed program points. 171-199
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LiBDLNP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LiBDLNP10
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas:
Scenario-based verification of real-time systems using Uppaal. 200-264
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JeffordsHAL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JeffordsHAL10
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard:
Model-based construction and verification of critical systems using composition and partial refinement. 265-294

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.