scientific article; zbMATH DE number 139804

zbMATH Open0794.68096MaRDI QIDQ4028131FDOQ4028131

Authors:

Publication date: 28 March 1993

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

Recommendations

• scientific article; zbMATH DE number 1277257
• I/O automata in Isabelle/HOL
• scientific article; zbMATH DE number 1301859
• 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

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 (2)

• Title not available (Why is that?)
• Semantics and Verification of a Language for Modelling Hardware Architectures

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)