Programming in Metric Temporal Logic.

Christoph Brzoska

Published in: Theor. Comput. Sci. (1998)

Keyphrases

metric temporal logic
programming language
object oriented programming
programming course
real world
data model
computer programming
programming environment
database
search engine
information systems
decision making
multiscale
data structure
development environment
programming paradigms