. "26230" . . . "Tool for verification of systems specified in RT-Logic language"@en . "Gach, Marek" . . . . . "This tool allows one to check satisfiability of time constrains (entered in a form of restricted RT-Logic formulae) in systems specified in RT-Logic language." . "293039" . . "http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav" . . "Tool for verification of systems specified in RT-Logic language" . "RIV/00216305:26230/10:PR24996!RIV12-GA0-26230___" . "This tool allows one to check satisfiability of time constrains (entered in a form of restricted RT-Logic formulae) in systems specified in RT-Logic language."@en . "RIV/00216305:26230/10:PR24996" . . . "P(GAP103/10/0306), P(GD102/09/H042), P(OC10009), S, Z(MSM0021630528)" . "Fiedor, Jan" . . . "Poskytov\u00E1no pod Freeware licenc\u00ED VUT v Brn\u011B (https://wis.fit.vutbr.cz/FIT/db/dir.php/dr/VZ2007/externiInformace/softwareNaWe bu/Priloha2_rozh23.pdf)." . "verifikace, RRTL, re\u00E1ln\u00FD \u010Das"@en . . . "http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav" . "\u010Ce\u0161ka, Milan" . "3"^^ . "Tool for verification of systems specified in RT-Logic language"@en . . "3"^^ . . . . "zetav" . "Software je voln\u011B dostupn\u00FD." . . . . . . . "[EF76C8E91764]" . "Tool for verification of systems specified in RT-Logic language" .