-
Black-Box identification of automated discrete event systems
This thesis deals with the identification of automated discrete event systems (DES) operating in an industrial context. In particular the work focuses on the systems... -
Generation of Single Input Change Test Sequences for Conformance Test of Prog...
International audience
