Concepedia

T. Plasa

TP

Statistics

Publications

1

Citations

25

H-Index

1

Active since

1992

Affiliations

Karlsruhe University of Education(Current)

T. Plasa is an author at Karlsruhe University of Education specializing in software verification, software analysis, and computer science.

Top concepts

EngineeringVerificationSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware ValidationSystems Engineering

Publications per year

1992–1992

1

Publications

1

The Verification Support Environment VSE

Baur, T. Plasa, P. Kejwal et al. · IFAC Proceedings Volumes · 1992 · 25 citations

Software Maintenance, Engineering, Runtime Verification +11

1–1 of 1