Export 12 results:
Filters: Author is Todd Carpenter [Clear All Filters]
100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. International Workshop on Software Engineering for Resilient Systems.. 2017.
Designing Cybersecurity into Connected Medical Devices. Medical Design Briefs.. 2017.
Coordinated Management of Large-Scale Networks Using Constraint Satisfaction. Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt ’10, Twenty-Fourth AAAI Conference on Artificial Intelligence.. 2010.
High Confidence Software and Systems (HCSS) Coordinating Group (CG) Assured, Real-Time Operating Systems (ARTOS) Briefings.. 2005.