Autor der Publikation

Automatic Integration of Digital System Requirements using Schemata.

, und . ICCS, Volume 954 von Lecture Notes in Computer Science, Seite 44-58. Springer, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A CG-Based Behavior Extraction System., und . ICCS, Volume 1640 von Lecture Notes in Computer Science, Seite 127-139. Springer, (1999)Executing Conceptual Graphs.. ICCS, Volume 1453 von Lecture Notes in Computer Science, Seite 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., , und . Simulation, 65 (4): 239-251 (1995)Generating Validation Feedback for Automatic Interpretation of Informal Requirements., und . Formal Methods Syst. Des., 10 (1): 73-92 (1997)Integrating specification requirements for automated interpretation.. RSP, Seite 161-173. IEEE Computer Society, (1991)Conceptual Representation of Waveforms for Temporal Reasoning.. IEEE Trans. Computers, 43 (2): 186-200 (1994)Textual/Graphical Design Concept-Level Synthesis.. CHDL, Volume A-32 von IFIP Transactions, Seite 485-502. North-Holland, (1993)Acquiring Temporal Knowledge from Schedules.. ICCS, Volume 699 von Lecture Notes in Computer Science, Seite 328-344. Springer, (1993)Automatic Integration of Digital System Requirements using Schemata., und . ICCS, Volume 954 von Lecture Notes in Computer Science, Seite 44-58. Springer, (1995)