( en | de | ru )

 

Disambiguierung von "Rajan, Sreeranga P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Application of automated environment generation to commercial software.

, und . ISSTA, Seite 203-214. ACM, (2006)

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.

Svetlozar Rajanov

Veli ka Rajanova

Devi Rajan

Rajan Somasundaram

Toney Rajan

 

Weitere Publikationen von Autoren mit dem selben Namen

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 609-615. Springer, (2011)Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol., , und . FM-Trends, Volume 1641 von Lecture Notes in Computer Science, Seite 281-295. Springer, (1998)Client-tier Validation of Dynamic Web Applications., , , und . ICSOFT (2), Seite 86-95. SciTePress, (2011)Application of automated environment generation to commercial software., und . ISSTA, Seite 203-214. ACM, (2006)Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design., und . VLSI Design, Seite 552-557. IEEE Computer Society, (1998)Error Detection in Concurrent Java Programs., , , und . Electron. Notes Theor. Comput. Sci., 144 (3): 45-58 (2006)Evaluation of Transfer Learning for Adverse Drug Event (ADE) and Medication Entity Extraction., , , und . ClinicalNLP@EMNLP, Seite 55-64. Association for Computational Linguistics, (2020)Error Detection in Concurrent Java Programs., , , und . SoftMC@CAV, Volume 144 von Electronic Notes in Theoretical Computer Science, Seite 45-58. Elsevier, (2005)Automatic Assessment Item Bank Calibration for Learning Gap Identification., , , und . ICACCI, Seite 1429-1435. IEEE, (2018)Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic.. TPHOLs, Volume A-20 von IFIP Transactions, Seite 527-536. North-Holland/Elsevier, (1992)