Specifications.

Yuan Yu Panagiotis Manolios Leslie Lamport

Published in: CHARME (1999)

Keyphrases

high level
formal specification
multiscale
search engine
functional requirements
delay insensitive
bounded model checking
database
real time
knowledge base
video sequences
special case
mobile robot
concurrent systems