共 50 条
- [31] Formal Specification and Analysis of Timing Properties in Software Systems [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 262 - +
- [33] Sequence-based software specification of deterministic systems [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1998, 28 (03): : 329 - 344
- [34] Specification and synthesis of control software for flexible manufacturing systems [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 1703 - 1708
- [35] Quantitative Properties of Software Systems: Specification, Verification, and Synthesis [J]. 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 674 - 677
- [36] Specification driven design of complex systems [J]. WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 327 - 332
- [40] An overview of software specification techniques for real-time imaging [J]. REAL-TIME IMAGING VI, 2002, 4666 : 57 - 64