Approximate bisimulation and optimization of software programs based on symbolic-numeric computation

From MaRDI portal

Revision as of 05:32, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:459934

Jump to:navigation, search

zbMath1296.68099MaRDI QIDQ459934

Hui Deng, Jinzhao Wu

Publication date: 13 October 2014

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A symbolic computation approach to parameterizing controller for polynomial Hamiltonian systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:459934&oldid=12338421"