Login / Signup
A quality attributes approach to defining reactive systems solution applied to cloud of sensors.
Artur Skowronski
Jan Werewka
Published in:
FedCSIS (2015)
Keyphrases
</>
reactive systems
formal methods
real time
software engineering
model checking
data quality
functional requirements