ipmash@ipme.ru | +7 (812) 321-47-78
пн-пт 10.00-17.00
Институт Проблем Машиноведения РАН ( ИПМаш РАН ) Институт Проблем Машиноведения РАН ( ИПМаш РАН )

Institute for Problems in Mechanical Engineering
of the Russian Academy of Sciences

Institute for Problems in Mechanical Engineering of the Russian Academy of Sciences

Methods for Finding Consequences with Specified Properties

Year(s):
2021
Autors:
d.o.p.a.m.s. Boris Kulik , Fridman A. ,
Name Publication:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume Publication:
12948 LNAI
Pages:
67 - 80
Используя этот сайт, вы соглашаетесь с тем, что мы используем файлы cookie.