Прилог рјешењу ефикасне верификације функционалних захтјева помоћу програмских језика
S Popić - 2023 - search.proquest.com
Докторска теза анализира предлог за имплементацију верификације функционалних
програмских захтева. Предмет истраживања је проналажење свих релевантних …
програмских захтева. Предмет истраживања је проналажење свих релевантних …
Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021
The industrial track at ISoLA 2021 provided a platform for presenting industrial perspectives
on digitalization and for discussing trends and challenges in the ongoing digital …
on digitalization and for discussing trends and challenges in the ongoing digital …