default search action

combined dblp search
author search
venue search
publication search

ask others

FM-Elsewhere@FORTE/PSTV 2000: Pisa, Italy

> Home > Conferences and Workshops > FORTE
> Home > Conferences and Workshops > PSTV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/forte/2000fme
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2000fme
Howard Bowman:
Formal Methods Elsewhere - a Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy, October 2000. Electronic Notes in Theoretical Computer Science 43, Elsevier 2001
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rushby01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rushby01
John M. Rushby:
Analyzing Cockpit Interfaces Using Formal Methods. 1-14
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldamusSWK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldamusSWK01
Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller:
Can American Checkers be Solved by Means of Symbolic Model Checking? 15-33
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ShilovY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ShilovY01
Nikolay V. Shilov, Kwang Yi:
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. 34-49
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DuceD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DuceD01
David A. Duce, David J. Duke:
Syndetic Modelling: Computer Science Meets Cognitive Psychology. 50-74
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DohertyFM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DohertyFM01
Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink:
Formal Verification in the Design of Gestural Interaction. 75-96
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BowmanFM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BowmanFM01
Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Towards Integrated Cognitive and Interface Analysis. 97-112
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Turner01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Turner01
Kenneth J. Turner:
The N-Body Problem in LOTOS. 113-135
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Newton01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Newton01
Michael Newton:
Grammatical Specification in ASL: Germanic Dependent Clause Order. 136-151
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Tonfoni01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Tonfoni01
Graziella Tonfoni:
CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols. 152-161
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bowman01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bowman01
Howard Bowman:
Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. 162-163

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.