A Concept of an Integrated Development Environment for Reactive Systems.

Ivan Velikic Miroslav Popovic Vladimir Kovacevic

Published in: ECBS (2004)

Keyphrases

reactive systems
database
information flow
data sets
information systems
formal methods
real time
data mining
query language
petri net
model checking
temporal logic