Информация об авторе

Баар, Томас, Университет прикладных технических и экономических наук г. Берлина, Германия

  • Том 25, № 5 (2018) - ВЕРИФИКАЦИЯ ПРОГРАММ
    Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae
    Аннотация  PDF (Eng)


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)