5 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Fabio A. Schreiber, Maria Elena Valcher
The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correct…