Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Dynamic controllability check"'
Autor:
Roberto Posenato
Publikováno v:
SoftwareX, Vol 17, Iss , Pp 100905- (2022)
This paper presents CSTNU Tool , a Java library for representing and checking different kinds of temporal constraint networks. In particular, CSTNU Tool offers an optimized implementation of some constraint-propagation algorithms to check the dynamic
Externí odkaz:
https://doaj.org/article/8491c4ef850f497eb24625c1f244509e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.