Login / Signup

A basis for compositionally ensuring safety properties and its connection to relational algebraic operators.

Mila E. Majster-CederbaumNils Semmelrock
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • algebraic operators
  • data model
  • query language
  • mathematical models
  • structural properties
  • real time
  • multiscale
  • database
  • data structure
  • search algorithm
  • relational data
  • object identity