Vol. 39 · No. 5

  • 2020
  • 10 articles
  • pp. 881–1116
  1. PDF
  2. PDF
  3. Asynchronous Spiking Neural P Systems with Multiple Channels and Symbols

    Wenmei Yi, Zeqiong Lv, Hong Peng, Xiaoxiao Song, Jun Wang

    pp. 925–951 https://doi.org/10.31577/cai_2020_5_925

    PDF
  4. PDF
  5. PDF
  6. PDF
  7. Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model

    Nadia Chabbat, Djamel Eddine Saidouni, Radja Boukharrou, Salim Ghanemi

    pp. 1022–1060 https://doi.org/10.31577/cai_2020_5_1022

    PDF
  8. PDF
  9. PDF
  10. Fault Tolerance in Reversible Logic Circuits and Quantum Cost Optimization

    Kamaraj Arunachalam, Marichamy Perumalsamy, Kaviyashri K. Ponnusamy

    pp. 1099–1116 https://doi.org/10.31577/cai_2020_5_1099

    PDF