共 60 条
[1]
Abrial J. -R., 2006, 28th International Conference on Software Engineering Proceedings, P761, DOI 10.1145/1134285.1134406
[2]
Abrial JR, 2007, J UNIVERS COMPUT SCI, V13, P619
[4]
[Anonymous], 2001, Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement
[5]
[Anonymous], 1990, LICS, DOI DOI 10.1109/LICS.1990.113767
[6]
BALASUBRAMANIAN K, 2004, P 14 ANN IEEE INT C, P93
[7]
BECKER S, 2007, P WORKSH MDD SOA IT
[9]
Becker Simon M., 2005, SOFTWARE SYSTEMS MOD, V4, P123
[10]
Towards the formal verification of lower system layers in automotive systems
[J].
2005 IEEE International Conference on Computer Design: VLSI in Computers & Processors, Proceedings,
2005,
:317-324