default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFM-Elsewhere@FORTE/PSTV 2000: Pisa, Italy
- 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 - John M. Rushby:
Analyzing Cockpit Interfaces Using Formal Methods. 1-14 - Michael Baldamus, Klaus Schneider
, Michael Wenz, Roberto Ziller:
Can American Checkers be Solved by Means of Symbolic Model Checking? 15-33 - Nikolay V. Shilov, Kwang Yi:
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. 34-49 - David A. Duce, David J. Duke:
Syndetic Modelling: Computer Science Meets Cognitive Psychology. 50-74 - Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink:
Formal Verification in the Design of Gestural Interaction. 75-96 - Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Towards Integrated Cognitive and Interface Analysis. 97-112 - Kenneth J. Turner:
The N-Body Problem in LOTOS. 113-135 - Michael Newton:
Grammatical Specification in ASL: Germanic Dependent Clause Order. 136-151 - 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 - 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.
last updated on 2024-11-26 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
