Procedures and parameters in the real-time program refinement calculus

From MaRDI portal

Publication:858908

Jump to:navigation, search

DOI10.1016/J.SCICO.2006.06.002zbMATH Open1178.68162OpenAlexW1999441534MaRDI QIDQ858908

Publication date: 11 January 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.06.002

zbMATH Keywords

parameters refinement calculus deadlines auxiliary variables auxiliary parameters procedures machine independent platform independent real-time programming

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

Title not available (Why is that?) ⋮ Real-time properties of indirect recursive procedures

This page was built for publication: Procedures and parameters in the real-time program refinement calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q858908)

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