A Formal Pattern Architecture for Safe Medical Systems

DOI10.1007/978-3-642-16310-4_11MaRDI QIDQ4933284zbMATH OpenOpenAlexFDO

Authors Mu Sun, José Meseguer, Lui Sha

Publication date 12 October 2010

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16310-4_11

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Medical applications (general) (92C50)

Recommendations

• scientific article; zbMATH DE number 2118595
• On solution of quasilinear differential systems with oscillating matrix of coefficients of the linear parts.
• The asymptotical solving of the equation y'=A(t)y with a 2 2 matrix A(t), in the oscillation case
• On the method of small variable parameters for two-dimensional quasilinear differential systems.
• Asymptotics of oscillating solutions to equations with power nonlinearities

Cited in

(10)

• The asymptotical solving of the equation y'=A(t)y with a 2 2 matrix A(t), in the oscillation case
• The asymptotical solving of the equation y'=A(t)y, with a 2 2 matrix A in the oscillation case. II
• Asymptotics of oscillating solutions to equations with power nonlinearities
• Twenty years of rewriting logic
• scientific article; zbMATH DE number 4142599 (Why is no real title available?)
• scientific article; zbMATH DE number 2033507 (Why is no real title available?)
• scientific article; zbMATH DE number 2033524 (Why is no real title available?)
• scientific article; zbMATH DE number 2118595 (Why is no real title available?)
• On the method of small variable parameters for two-dimensional quasilinear differential systems.
• Building correct-by-construction systems with formal patterns

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A Formal Pattern Architecture for Safe Medical Systems

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