Reasoning about continuous systems

DOI10.1016/0167-6423(90)90017-8zbMATH Open0705.68072OpenAlexW2160446582MaRDI QIDQ918217

K. Mani Chandy

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1016/0167-6423(90)90017-8

zbMATH Keywords

continuous systemsmathematics of program construction

Mathematics Subject Classification ID

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

Related Items (1)

Coupling coefficients of a distributed execution

This page was built for publication: Reasoning about continuous systems

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