A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design
ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION（2022）
Key words
SysML,formal methods,model library,requirements engineering
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined