共 50 条
- [3] Formal foundations for software engineering methods - Introduction FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
- [4] Introduction to software reliability engineering and testing EIGHTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING - CASE STUDIES, PROCEEDINGS, 1997, : 3 - 12
- [6] Agile Formal Engineering Method for Software Productivity and Reliability CEE-SECR'18: PROCEEDINGS OF THE 14TH CENTRAL AND EASTERN EUROPEAN SOFTWARE ENGINEERING CONFERENCE RUSSIA, 2018,
- [7] Formal Concept Analysis and Its Validity in Power Reliability Engineering ELECTRICA, 2023, 23 (02): : 250 - 261
- [9] Introduction to the Software Engineering and Formal Methods 2013 special issue Software & Systems Modeling, 2017, 16 : 5 - 6
- [10] Introduction to the Software Engineering and Formal Methods 2013 special issue SOFTWARE AND SYSTEMS MODELING, 2017, 16 (01): : 5 - 6