-
Contribution for the Specification and the Verification of Temporal Requireme...
The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three... -
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive ...
Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that...
