Наукова періодика України Системи озброєння і військова техніка

Perepelytsya I. D. 
On some class of mathematical models for static analysis of critical-mission asynchronous systems / I. D. Perepelytsya, G. M. Zholtkevych // Системи озброєння і військова техніка. - 2011. - № 3. - С. 60-63. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2011_3_15
A mathematical model of asynchronous software system is considered in the paper. This model bases on the notion abstract finite pre-machine which generalizes the notion abstract finite automaton. In contrast to generally accepted models the model proposed in the paper makes possible to specify more complex system behaviour than it is provided by finite automata models. Specifically, live-lock anomaly can be specified using the notion pre-machine. Authors adduce the criterion of live-lock existence and illustrate it by example.
  Повний текст PDF - 327.787 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Perepelytsya I.
  • Zholtkevych G.

    • Бібліографічний опис для цитування:

    Perepelytsya I. D. On some class of mathematical models for static analysis of critical-mission asynchronous systems / I. D. Perepelytsya, G. M. Zholtkevych // Системи озброєння і військова техніка. - 2011. - № 3. - С. 60-63. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2011_3_15.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського