( en | de | ru )

 

Disambiguierung von "Power, James F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specifying and Verifying IP with Linear Logic.

, , , , und . ICDCS Workshop on Distributed System Validation and Verification, Seite E104-E110. (2000)

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.

James F Reardon

Matthew Power

Christopher Power

Richard Power

Daniel Powers

 

Weitere Publikationen von Autoren mit dem selben Namen

An empirical investigation into the dimensions of run-time coupling in Java programs., und . PPPJ, Volume 91 von ACM International Conference Proceeding Series, Seite 9-14. ACM, (2004)An Institution for Event-B., , und . WADT, Volume 10644 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2016)Using object-level run-time metrics to study coupling between objects., und . SAC, Seite 1456-1462. ACM, (2005)A Sound Execution Semantics for ATL via Translation Validation - Research Paper., , und . ICMT, Volume 9152 von Lecture Notes in Computer Science, Seite 133-148. Springer, (2015)Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software, und . Empirical Softw. Engg., 13 (4): 343--368 (2008)g4re: Harnessing GCC to Reverse Engineer C++ Applications., , und . Transformation Techniques in Software Engineering, Volume 05161 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Calibration and Analysis of Source Code Similarity Measures for Verilog Hardware Description Language Projects., und . SIGCSE, Seite 420-426. ACM, (2020)Editorial., und . Sci. Comput. Program., 54 (1): 1-2 (2005)Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs., und . ESA/VLSI, Seite 192-198. CSREA Press, (2004)Metric-Based Analysis of Context-Free Grammars., und . IWPC, Seite 171-178. IEEE Computer Society, (2000)