Building Verifiable Sensing Applications Through Temporal Logic Specification.
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama
VenueMulticonferenceICCS
Year2007
ProceedingsInternational Conference on Computational Science (1)
DBLP recordconf/iccS/AwanSJG07 ↗
Browse the full ICCS paper archive.