Learn More
It is often considered that a protocol that has been verified for its dependability properties at the protocol level maintains these proven properties over its implementation. Focusing on synchronous protocols, we demonstrate that this assumption can easily be fallacious. We utilize the example of an existing formally verified diagnostic protocol as(More)
Ambient intelligent systems continuously gain importance in a variety of application domains. Nowadays one of the most important ambient intelligence domains is assisted living, which involves devices and services supporting elderly people during their everyday life. Typical assisted living applications include health monitoring, remote nursing, and alarm(More)
  • 1