Aarhus University logo
Dansk
Model checking is an automated verification technique that is based on the exhaustive enumeration of the state space of a system's model. Despite the…
Abstract:
More and more data is collected from a variety of new sources such as sensors, smart devices, social media, crowd-sourcing, and (Linked)…
Page 78 of 171.
