Author:
Alagar V. S.,Periyasamy K.
Reference27 articles.
1. Abrial J-R (1996) The B-book: assigning programs to meanings. Cambridge University Press, Cambridge
2. Abrial J-R (2009) Modeling in event-B: system and software design. Cambridge University Press, Cambridge
3. Attiogbe JC (2004) A mechanically proved development combining B abstract systems with spin. In: International conference on quality software (QSIC 2004), pp 42–49
4. Ayoub A, Wahba A, Sheirah M (2008) Mapping timed automata to B. In: Third international design and test workshop (IDT 2008), Monstir, pp 255–259
5. Ayed LJB, Younes AB (2006) From graphical design in STATEMATE to formal specification in event B. In: International conference on information and communication technologies (ICITA’06), Damascus, pp 2837–2842
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modelling Uncertainty in Architectures of Parametric Component-Based Systems;International Journal of Foundations of Computer Science;2023-05-22
2. Architectures in parametric component-based systems: Qualitative and quantitative modelling;Logical Methods in Computer Science;2021-12-30
3. StaBL;Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference;2020-02-27
4. Architecture Modelling of Parametric Component-Based Systems;Lecture Notes in Computer Science;2020