Search
Now showing items 1-3 of 3
A framework for high-assurance quasi-synchronous systems
Publisher: IEEE
Year: 2014
Structure-aware CNF obfuscation for privacy-preserving SAT solving
Publisher: IEEE
Year: 2014
Multifractal scaling properties of global land surface air temperature
Publisher: IEEE
Year: 2014