0 | -- | 0 | Bartosz Zielinski 0002. Explanatory Denotational Semantics for Complex Event Patterns |
0 | -- | 0 | James Baxter 0001, Gustavo Carvalho, Ana Cavalcanti 0001, Francisco Rodrigues Júnior. RoboWorld: Verification of Robotic Systems with Environment in the Loop |
0 | -- | 0 | Yuan-fei, Huibiao Zhu, Jiaqi Yin. FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT |
0 | -- | 0 | Jan Bækgaard Pedersen, Kevin Chalmers. Toward Verifying Cooperatively Scheduled Runtimes Using CSP |
0 | -- | 0 | Quan Sun, David N. Jansen, Xinxin Liu, Wei Zhang. Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS |
0 | -- | 0 | Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu 0003, Jun Sun 0001. Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B |