default search action

combined dblp search
author search
venue search
publication search

ask others

FMSP 2000: Portland, Oregon, USA

> Home > Conferences and Workshops > FMSP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fmsp/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/2000
Mats Per Erik Heimdahl:
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. ACM 2000, ISBN 1-58113-262-X
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/Dill00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/Dill00
David L. Dill:
Model checking Java programs. 1
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/VisserPP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/VisserPP00
Willem Visser, Seungjoon Park, John Penix:
Using predicate abstraction to reduce object-oriented programs for model checking. 3-182
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/Hall00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/Hall00
Robert J. Hall:
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. 13-23
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/ArcherHR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/ArcherHR00
Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Using TAME to prove invariants of automata models: Two case studies. 25-36
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/MartinWV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/MartinWV00
W. B. Martin, P. D. White, W. Mark Vanfleet:
Government, industry, and academia: Teaming to design high confidence information security applications. 37-47
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/KongAD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/KongAD00
Cindy Kong, Perry Alexander, Darryl D. Dieckman:
Formal modeling of active network nodes using PVS. 49-59
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/BhargavanGO00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/BhargavanGO00
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic:
Fault origin adjudication. 61-71
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/Smith00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/Smith00
Douglas R. Smith:
Software synthesis and applications (abstract only). 73
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/Leveson00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/Leveson00
Nancy G. Leveson:
Completeness in formal specification language design for process-control systems. 75-87
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/OlderogR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/OlderogR00
Ernst-Rüdiger Olderog, Anders P. Ravn:
Completeness in formal specification language design for process-control systems. 89-100
- view
  authority control:
- export record
  dblp key:
  - conf/fmsp/KlarlundMS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsp/KlarlundMS00
Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
DSD: A schema language for XML. 101-111

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.