论文信息 - Verification models and techniques applied to the Testing and Control of reactive Systems - 字舞流文

Verification models and techniques applied to the Testing and Control of reactive Systems

Bertrand Jeannet | Thierry Jéron | Tristan Le Gall | Hervé Marchand | Vlad Rusu | Benoit Gaudin | Camille Constant | Lydie Mabil | Céline Ammoniaux | Florimond Ployette | Valery Tschaen | Jérôme Leroux | Florence Santoro | Hatem Hamdi | Bertrand Jeannet | H. Marchand | T. Jéron | B. Gaudin | Florimond Ployette | Vlad Rusu | Jérôme Leroux | Lydie Mabil | F. Santoro | Céline Ammoniaux | C. Constant | Hatem Hamdi | Valéry Tschaen