scientific article; zbMATH DE number 2084337

zbMATH Open1073.68672MaRDI QIDQ3043815FDOQ3043815

Authors: Christian Blumenröhr, Kai Kapp, Viktor K. Sabelfeld 

Publication date: 6 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440149.htm

Title of this publication is not available (Why is that?)

Recommendations

• Perspectives of System Informatics
• scientific article; zbMATH DE number 2185688
• Publication:4503963
• System Semantics and formal circuit description
• scientific article; zbMATH DE number 1955907

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (8)

• Modeling a hardware synthesis methodology in Isabelle
• System Semantics and formal circuit description
• Title not available (Why is that?)
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Dependent types and formal synthesis
• Title not available (Why is that?)
• Modeling multi-rate DSP specification semantics for formal transformational design in HOL
• Title not available (Why is that?)

This page was built for publication:

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