Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
forum
Submitted by Anonymous on Wed, 12/16/2015 - 11:55am
Co-Chairs: Chaitan Baru, U.S. National Science Foundation Stephen Dennis, U.S. Department of Homeland Security
Background
group
Description:
International Workshop on Trustworthy & Real-time Edge Computing for Cyber-Physical Systems
forum
CALL FOR PAPERS
The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)
San Diego, USA | October 9-11, 2019 | https://memocode.github.io/2019
OVERVIEW
forum
Submitted by Anonymous on Tue, 06/04/2019 - 9:26am
CALL FOR PAPERS
ACM Transactions Computing for Healthcare
Special Issue on Wearable Technologies for Smart Health
Guest Editors:
forum
Submitted by Anonymous on Tue, 06/04/2019 - 9:25am
CALL FOR PAPERS
ACM Transactions Computing for Healthcare
Special Issue on Wearable Technologies for Smart Health
Guest Editors:
event
Submitted by Anonymous on Wed, 04/17/2019 - 10:22am
10th Conference on Decision and Game Theory for Security - GameSec 2019
DESCRIPTION
