Autors: Atanasov, I. I., Pencheva, E. N., Vatakov V.
Title: An Approach to Designing Critical Railway Voice Communication
Keywords: service bricks; concurrent processes; formal methods

References

    Issue

    Electronics, vol. 12, issue 6, pp. 1-27, 2023, Switzerland, MDPI, DOI 10.3390/electronics12061406

    Вид: статия в списание, публикация в издание с импакт фактор, публикация в реферирано издание, индексирана в Scopus и Web of Science