Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
From MaRDI portal
Publication:459934
zbMath1296.68099MaRDI QIDQ459934
Publication date: 13 October 2014
Published in: Mathematical Problems in Engineering (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
