( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using formal specifications to support testing.

, , , , , , , , , , , , , , и . ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)

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.

Gerald Lüttgen

Holger Lüttgen

Walter Lüttgen

Jenna Lüttgen

Karsten Lüttgen

 

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

What Is in a Step: New Perspectives on a Classical Question., , и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 370-399. Springer, (2010)Accessing Databases within Esterel., и . SYNCHRON, том 04491 из Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Heap Patterns for Memory Graph Visualization., и . VISSOFT, стр. 162-166. IEEE, (2022)Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams., , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 648-663. Springer, (2007)A Semantic Theory for Heterogeneous System Design., и . FSTTCS, том 1974 из Lecture Notes in Computer Science, стр. 312-324. Springer, (2000)Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models., и . ICALP, том 1853 из Lecture Notes in Computer Science, стр. 163-174. Springer, (2000)Safe Reasoning with Logic LTS., и . SOFSEM, том 5404 из Lecture Notes in Computer Science, стр. 376-387. Springer, (2009)Dynamic Priorities for Modeling Real-Time., , и . FORTE, том 107 из IFIP Conference Proceedings, стр. 321-336. Chapman & Hall, (1997)Preface., , и . SFEDL@ETAPS, том 115 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2004)DSIbin: identifying dynamic data structures in C/C++ binaries., , , , , и . ASE, стр. 331-341. IEEE Computer Society, (2017)