An Incremental Specification Flow for Real Time Embedded Systems.

Alex Niemegeers Gjalt G. de Jong

Published in: DATE (2000)

Keyphrases

real time embedded systems
incremental learning
flow patterns
high level
formal verification
incremental clustering
real time
genetic algorithm
flow field
formal specification
data sets
image processing
conceptual model
specification language
particle image velocimetry