Login / Signup

Relational Concurrent Refinement: Timed Refinement.

John DerrickEerke A. Boiten
Published in: FMOODS/FORTE (2011)
Keyphrases
  • relational databases
  • petri net
  • database
  • machine learning
  • search engine
  • data model
  • decision making
  • image processing
  • website
  • search algorithm
  • natural language
  • hidden markov models
  • logic programs
  • refinement process