Formal verification, software/protocol/hardware credibility verification,cyberspace security, radio spectrum and electromagnetic environment management.
The Last Update Time : ..