2001 Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other thancommunication protocols and software engineering
Copyright © Mon Mar 15 04:00:54 2010
by Michael Ley (firstname.lastname@example.org)
- 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.
- John M. Rushby:
Analyzing Cockpit Interfaces Using Formal Methods.
- Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller:
Can American Checkers be Solved by Means of Symbolic Model Checking?
- Nikolay V. Shilov, Kwang Yi:
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.
- David A. Duce, David J. Duke:
Syndetic Modelling: Computer Science Meets Cognitive Psychology.
- Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink:
Formal Verification in the Design of Gestural Interaction.
- Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Towards Integrated Cognitive and Interface Analysis.
- Kenneth J. Turner:
The N-Body Problem in LOTOS.
- Michael Newton:
Grammatical Specification in ASL: Germanic Dependent Clause Order.
- Graziella Tonfoni:
CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols.