A theoretical framework for testing cyber-physical systems.

Puneet Bhateja

Browse the full CoDIT paper archive.