Model Checking Software in Cyberphysical Systems.

Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah

Browse the full COMPSAC paper archive.