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
|
Вид: статия в списание, публикация в издание с импакт фактор, публикация в реферирано издание, индексирана в Scopus и Web of Science