Login / Signup

Denotational Semantics for Timed Testing.

Luis Fernando Llana DíazDavid de Frutos-Escrig
Published in: ARTS (1997)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • petri net
  • query language
  • machine learning
  • preprocessing
  • relational databases
  • general purpose
  • distributed systems
  • timed automata