scientific article; zbMATH DE number 7300356

zbMath1468.68114MaRDI QIDQ5146121

N. V. Yevtushenko, Maksim Leonidovich Gromov

Publication date: 25 January 2021

Full work available at URL: http://mathnet.ru/eng/pdm152

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

compatibilitylabelled transition systemsnondeterministic finite-state machineadaptive experimentdistinguishing experimenttimed finite-state machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Formal testing from timed finite state machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: