Physically informed assertions for cyber physical systems development and debugging.

Xi Zheng

Browse the full PERCOM paper archive.