Author:
Dotti Fernando L.,Iliasov Alexei,Ribeiro Leila,Romanovsky Alexander
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Iliasov, A., Dotti, F.L., Romanovsky, A.: Structuring specifications with modes. In: Proceedings of the fourth Latin-American Symposium on Dependable Computing, pp. 81–88. IEEE Computer Society, Los Alamitos (2009)
2. Abrial, J.R., Métayer, C.: Rodin deliverable 3.2 - event-b language. Technical report, Newcastle University, England (2005), http://rodin.cs.ncl.ac.uk
3. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
4. Butler, R.W.: Nasa technical memorandum 110255 an introduction to requirements capture using pvs: Specification of a simple autopilot (1996)
5. Miller, S.P.: Specifying the mode logic of a flight guidance system in core and scr. In: FMSP 1998: Proceedings of the second workshop on Formal methods in software practice, pp. 44–53. ACM, New York (1998)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献