From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Ensuring the conformance of reactive discrete-event systems using supervisory control.

T. Eron, H. Marchand, V. Rusu, и V. Tschaen. CDC, стр. 2692-2697. IEEE, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ensuring the conformance of reactive discrete-event systems using supervisory control.T. Eron, H. Marchand, V. Rusu, и V. Tschaen. CDC, стр. 2692-2697. IEEE, (2003)From Safety Verification to Safety Testing.V. Rusu, H. Marchand, V. Tschaen, T. Jéron, и B. Jeannet. TestCom, том 2978 из Lecture Notes in Computer Science, стр. 160-176. Springer, (2004)Test Generation Algorithms Based on Preorder Relations.V. Tschaen. Model-Based Testing of Reactive Systems, том 3472 из Lecture Notes in Computer Science, стр. 151-171. Springer, (2004)