scientific article

zbMATH Open0794.68096MaRDI QIDQ4028131FDOQ4028131

Author name not available (Why is that?)

Publication date: 28 March 1993

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

zbMATH Keywords

automata-based compositional semanticshardware design and description language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• I/O automata in Isabelle/HOL 👍 👎
• Title not available (Why is that?) 👍 👎
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems 👍 👎
• Logics and automata for verification: Expressiveness and decidability issues 👍 👎
• Efficiency of automata in semi-commutation verification techniques 👍 👎
• Boolean kernels of context-free languages 👍 👎
• Proving invariants of I/O automata with TAME 👍 👎
• Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV 👍 👎

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 Q4028131)