A Formal Pattern Architecture for Safe Medical Systems

DOI10.1007/978-3-642-16310-4_11zbMath1306.68090OpenAlexW1852979719MaRDI QIDQ4933284

Lui Sha, Mu Sun, José Meseguer

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

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

Related Items (1)

Twenty years of rewriting logic

Uses Software

• Maude

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