共 8 条
- [1] Increacement Of Functional Safety Of The Behavior Algorithms Of Radio Electronic Safety-Critical Systems 15TH INTERNATIONAL CONFERENCE ON ADVANCED TRENDS IN RADIOELECTRONICS, TELECOMMUNICATIONS AND COMPUTER ENGINEERING (TCSET - 2020), 2020, : 462 - 466
- [2] From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems ERCIM NEWS, 2008, (75): : 22 - 23
- [3] Requirements Engineering of Industrial Automation Systems Adapting the CESAR Requirements Meta Model for Safety-Critical Smart Grid Software IECON 2015 - 41ST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2015, : 2172 - 2177
- [4] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development 2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
- [6] Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems Design Automation for Embedded Systems, 2008, 12 : 97 - 137
- [8] From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2003, 2831 : 131 - 143