Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning-Reference-Cited by-同舟云学术

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning

Author:

Mehrpouyan Hoda¹,Giannakopoulou Dimitra²,Brat Guillaume²,Tumer Irem Y.³,Hoyle Chris³

Affiliation:

1. Department of Computer Science, College of Engineering; Boise State University; Boise ID 83702

2. NASA Ames Research Center; Moffett Field CA 94035

3. Complex Engineered Systems Design Lab, School of Mechanical, Industrial, and Manufacturing Engineering; Oregon State University; Corvallis OR

Publisher

Wiley

Subject

Computer Networks and Communications,Hardware and Architecture

Reference45 articles.

2. J.T. Buck S. Ha E.A. Lee D.G. Messerschmitt Ptolemy: A framework for simulating and prototyping heterogeneous systems 1994

3. Risk assessment for dynamic systems: an overview;Siu;Reliability Engineering & System Safety,1994

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism;2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2023-11-14

4. Quality Assurance by Design;Quality Planning and Assurance;2021-11-26

5. An Operational Resilience Metric for Modern Power Distribution Systems;2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C);2020-12