scientific article
From MaRDI portal
Publication:2766623
zbMath0986.93505MaRDI QIDQ2766623
J.-F. Héry, Jean-Claude Laleuf, Xavier Nicollin, Nicolas Halbwachs
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Input-output approaches in control theory (93D25) Sampled-data control/observation systems (93C57) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
