Author:
de Azevedo Oliveira Diego,Frappier Marc
Publisher
Springer International Publishing
Reference5 articles.
1. Lecture Notes in Computer Science;L De Moura,2008
2. Huynh, N., Frappier, M., Pooda, H., Mammar, A., Laleau, R.: SGAC: a multi-layered access control model with conflict resolution strategy. Comput. J. 62(12), 1707–1733 (2018)
3. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)
4. Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. JSTTT 10(2), 185–203 (2008)
5. LNCS;A Milicevic,2014
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static Profiling of Alloy Models;IEEE Transactions on Software Engineering;2023-02-01