Articles matching “Cong”
- Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Redouane Benaini, Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B, pp. 2:7-36, PDF, DOI. Volume 25, no. 2 ( 2026)
- Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong, Threaded Code Generation with a Meta-Tracing JIT Compiler, pp. 2:1-11, PDF, DOI. Volume 21, no. 2 ( 2022)