From post

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.

 

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

A CG-Based Behavior Extraction System., и . ICCS, том 1640 из Lecture Notes in Computer Science, стр. 127-139. Springer, (1999)Executing Conceptual Graphs.. ICCS, том 1453 из Lecture Notes in Computer Science, стр. 51-64. Springer, (1998)A requirements sublanguage for automated analysis.. Int. J. Intell. Syst., 10 (7): 665-689 (1995)Generating Simulation Models from Natural Language Specifications., , и . Simulation, 65 (4): 239-251 (1995)Generating Validation Feedback for Automatic Interpretation of Informal Requirements., и . Formal Methods Syst. Des., 10 (1): 73-92 (1997)Integrating specification requirements for automated interpretation.. RSP, стр. 161-173. IEEE Computer Society, (1991)Acquiring Temporal Knowledge from Schedules.. ICCS, том 699 из Lecture Notes in Computer Science, стр. 328-344. Springer, (1993)Automatic Integration of Digital System Requirements using Schemata., и . ICCS, том 954 из Lecture Notes in Computer Science, стр. 44-58. Springer, (1995)Conceptual Representation of Waveforms for Temporal Reasoning.. IEEE Trans. Computers, 43 (2): 186-200 (1994)Textual/Graphical Design Concept-Level Synthesis.. CHDL, том A-32 из IFIP Transactions, стр. 485-502. North-Holland, (1993)