Sign in
ReWiRe: Designing Reactive Systems for Pervasive Environments.
Geert Vanderhulst
Kris Luyten
Karin Coninx
Published in:
DSV-IS (2008)
Keyphrases
</>
reactive systems
pervasive environments
model checking
pervasive computing
information flow
temporal logic
petri net
service discovery
control flow
mobile devices
data management
real time
formal methods
machine learning
data flow
real time systems