Subject
Law,Medical Laboratory Technology,Computer Science Applications
Reference38 articles.
1. The B book;Abrial,1996
2. Modeling in Event-B: system and software design;Abrial,2010
3. Rodin: an open toolset for modelling and reasoning in Event-B;Abrial;STTT,2010
4. Abrial JR, Cansell D, Méry D. Refinement and reachability in Event B. In: ZB. Springer; volume 3455 of Lecture Notes in Computer Science; 2005. p. 222–241.
5. Refinement, decomposition, and instantiation of discrete models: application to Event-B;Abrial;Fundam Informaticae,2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Information Security Using Counter-Anti-Forensics;2023 9th International Conference on Advanced Computing and Communication Systems (ICACCS);2023-03-17
2. On Big Data Forensic and Forensic Cloud Environment;2022 International Conference on Smart Applications, Communications and Networking (SmartNets);2022-11-29
3. An Argumentation-Based Reasoner to Assist Digital Investigation and Attribution of Cyber-Attacks;Forensic Science International: Digital Investigation;2020-04
4. Time-stamped claim logic;Logic Journal of the IGPL;2020-03-18
5. A forensic visual aid: Traces versus knowledge;Science & Justice;2018-11