Login / Signup
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems.
Brijesh Dongol
John Derrick
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
data sets
real time systems
data analysis
database
training data
data sources
information processing
integrity constraints
continuous data