Author:
Zhan WanLi,Hu Jun,Wang LiSong,Lv JiaRun
Reference9 articles.
1. Buckl, C., Knoll, A., Schieferdecker, I., Zander, J.: 10 model-based analysis and development of dependable systems. In: Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, 4–9 November 2007, Revised Selected Papers (2010)
2. Chow, J., Pfaff, B., Garfinkel, T., Christopher, K., Rosenblum, M.: Understanding data lifetime via whole system simulation (awarded best paper!). In: Proceedings of the 13th USENIX Security Symposium, San Diego, CA, USA, 9–13 August 2004 (2004)
3. Hu, J., Hu, J., Wang, W., Kang, J., Gao, Z.: Constructing formal specification models from domain specific natural language requirements. In: 2020 6th International Symposium on System and Software Reliability (ISSSR) (2020)
4. Kaufmann, M.: Systems engineering with sysml/uml. Computer (6), 83 (2008)
5. Moser, L.E., Melliar-Smith, P.M.: Formal verification of safety-critical systems. Softw. Pract. Exp. 20(8), 799–821 (2010)