Property:Tool description

Toto je vlastnost typu Text. Description

Použití4

předchozích 20 20 50 100 250 500 dalších 20

Filter<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>

Showing 4 pages using this property.

C

Coordination control plug-in +

Coordination Control Plug-In for [https://fgdes.tf.fau.de/faudes/index.html libFAUDES C++ library] (distributed under conditions of the GNU Lesser General Public License [http://www.gnu.org/licenses/lgpl-3.0.html LGPL]) *Version: released on Feb 5, 2012. Included in the official libFAUDES distribution since version 2.21e. *Description: Complete coordination control synthesis procedure for the computation of the supremal conditionally controllable sublanguage of a given prefix-closed global specification language K and a set of local subsystems, corresponding supervisors, and the supervised coordinator. (The case of non-prefix-closed global specifications is under investigation...) *Updates: Polynomial algorithm for conditional decomposability included since version 2.26 +

P

Piecewise testability Plug-In +

This tool implements three algorithms to verify piecewise testability. The tool is a plug-in for the C++ library libFAUDES. +

R

Relative observability Plug-In +

This tool implements the algorithms for verification of observability and relative observability of systems (languages) represented by finite automata as a plug-in for the C++ library libFAUDES. +

T

The International Center for Computational Logic +

Portal for the International Center for Computational Logic at TU Dresden, 2014. Powered by MediaWiki and Semantic MediaWiki. +