Time optimization of linear program sections

zbMath0545.68014MaRDI QIDQ797271

Yu. M. Shurajts, V. B. Gusev

Publication date: 1984

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

Optimizationprogram transformationslinear programsinformation flow schemas

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Time optimization of linear program sections