共 39 条
- [7] Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (272): : 52 - 64
- [8] The theory of hybrid automata [J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 278 - 292
- [10] Hu Baotian, 2014, Advances in Neural Information Processing Systems, P2042