Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture

ISSN： 0747-7171

Source： Journal of Symbolic Computation, Vol.30, Iss.2, 2000-08, pp. : 161-179

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Linear Quantifier Elimination

By Nipkow Tobias

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Simulation and Optimization by Quantifier Elimination

By Weispfenning V.

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 189-208

Academic Press

Access to resources Recommend Favorite

Testing Stability by Quantifier Elimination

By Hong H. Liska R. Steinberg S.

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 161-187

Academic Press

Access to resources Recommend Favorite

Software component architecture in supply chain management

By Verwijmeren M.

Computers in Industry, Vol. 53, Iss. 2, 2004-02 ,pp. : 165-178

Elsevier

Access to resources Recommend Favorite

Runtime recovery and manipulation of software architecture of component-based systems

By Huang Gang

Automated Software Engineering, Vol. 13, Iss. 2, 2006-04 ,pp. : 257-281

Springer Publishing Company

Access to resources Recommend Favorite