Login / Signup
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal.
Tetsuya Mizutani
Tatsuo Suzuki
Masayuki Shio
Yasuwo Ikeda
Published in:
TASE (2009)
Keyphrases
</>
formal specification
human computer
human computer interaction
dialogue system
specification languages
model checking
object oriented design
interface design
specification language
process algebra
reverse engineering
formal methods
concurrent systems
protocol specification
case study
temporal logic
context aware