共 50 条
- [4] Formal Analysis of Stage Suspended Boom Systems with Extended Duration Calculus [J]. 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012), 2012, : 1426 - 1429
- [6] Formal Methods for Pattern Based Reliability Analysis in Embedded Systems [J]. 2015 28TH INTERNATIONAL CONFERENCE ON VLSI DESIGN (VLSID), 2015, : 192 - 197
- [7] Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology [J]. 2017 2ND IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (EUROS&PW), 2017, : 174 - 180
- [9] A formal description-based approach to extended many-valued context analysis [J]. FOURTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 1, PROCEEDINGS, 2007, : 545 - 549