scientific article; zbMATH DE number 1201684
From MaRDI portal
Publication:4210549
zbMath0909.68118MaRDI QIDQ4210549
Publication date: 22 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General systems theory (93A99)
Related Items (6)
Application of the trace assertion method to the specification, design, and verification of automaton programs ⋮ The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior ⋮ Graphical inheritance notation for state-based classes ⋮ Tools for support of automata-based programming ⋮ Automation of parallel programming in modeling of multiphase media: optimal parallelization ⋮ SWITCH
This page was built for publication:
