Author:
Paul Saswata,Kopsaftopoulos Fotis,Patterson Stacy,Varela Carlos A.
Publisher
Springer International Publishing
Reference26 articles.
1. Arkoudas, K.: Athena. http://proofcentral.org/athena
2. Arkoudas, K., Musser, D.: Athena libraries, http://proofcentral.org/athena/lib
3. Arkoudas, K., Musser, D.: Fundamental Proof Methods in Computer Science: A Computer-Based Approach. MIT Press, Cambridge (2017)
4. Breese, S., Kopsaftopoulos, F., Varela, C.: Towards proving runtime properties of data-driven systems using safety envelopes. In: The 12th International Workshop on Structural Health Monitoring, Stanford, CA (September 2019)
5. Chen, S., Imai, S., Zhu, W., Varela, C.A.: Towards learning spatio-temporal data stream relationships for failure detection in avionics. In: Blasch, E., Ravela, S., Aved, A. (eds.) Handbook of Dynamic Data Driven Applications Systems, pp. 97–121. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-95504-9_5
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献