scientific article; zbMATH DE number 7362733
From MaRDI portal
Publication:4995370
zbMath1464.68152arXiv1408.5967MaRDI QIDQ4995370
Tiziano Villa, Davide Bresolin, Khaled El-Fakih, Nina Yevtushenko
Publication date: 24 June 2021
Full work available at URL: https://arxiv.org/abs/1408.5967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Deriving Homing Sequences for Finite State Machines with Timed Guards ⋮ On the Modeling of Sequential Reactive Systems by Means of Real Time Automata ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Adaptive experiments for state identification in finite state machines with timeouts
This page was built for publication:
