( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Model Learning and Model Checking to Analyze TCP Implementations.

, , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 454-471. Springer, (2016)

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.

Frits Kappey

Frits Hendriks

Frits Hendriks

Frits Hendriks

(Frits) Mohren

 

Другие публикации лиц с тем же именем

Learning Unions of k-Testable Languages., , и . LATA, том 11417 из Lecture Notes in Computer Science, стр. 328-339. Springer, (2019)A Theory of History Dependent Abstractions for Learning Interface Automata., , и . CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 240-255. Springer, (2012)Learning I/O Automata., и . CONCUR, том 6269 из Lecture Notes in Computer Science, стр. 71-85. Springer, (2010)Expressive Results for Process Algebras.. REX Workshop, том 666 из Lecture Notes in Computer Science, стр. 609-638. Springer, (1992)Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking., и . FORMATS, том 2791 из Lecture Notes in Computer Science, стр. 189-203. Springer, (2003)Normed Simulations., и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 332-344. Springer, (1998)Analysis of the zeroconf protocol using UPPAAL., , и . EMSOFT, стр. 242-251. ACM, (2006)Learning Mealy Machines with One Timer., , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 157-170. Springer, (2021)Verification of Printer Datapaths Using Timed Automata., и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 412-423. Springer, (2010)Proof-Checking a Data Link Protocol., , и . TYPES, том 806 из Lecture Notes in Computer Science, стр. 127-165. Springer, (1993)