X-machines as a basis for dynamic system specification
暂无分享,去创建一个
[1] Ian J. Hayes,et al. Specification case studies , 1987 .
[2] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.
[3] Romualdes Skvarcius,et al. Discrete mathematics with computer science applications , 1986 .
[4] Anthony I. Wasserman,et al. Building reliable interactive information systems , 1986, IEEE Transactions on Software Engineering.
[5] W. Wulf,et al. Fundamental Structures of Computer Science , 1980 .
[6] Steve Cook. Modelling generic user-interfaces with functional programs , 1986 .
[7] C. H. West,et al. Automated validation of a communications protocol: the CCITT X.21 recommendation , 1978 .
[8] George J. Milne,et al. Circal: A calculus for circuit description , 1983, Integr..