Author:
Salehi Fathabadi Asieh,Snook Colin,Butler Michael
Publisher
Springer International Publishing
Reference29 articles.
1. Oboril, F., Tahoori, M.: Extratime: Modeling and analysis of wearout due to transistor aging at microarchitecture-level. In: 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1–12 (June 2012)
2. PRiME: Power-efficient, Reliable, Many-core Embedded systems, http://www.prime-project.org
3. Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)
4. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer 12(6), 447–466 (2010)
5. Yeganefard, S., Butler, M.: Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. ECEASST 46 (2011)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献