Concepedia

P. Kejwal

PK

Statistics

Publications

1

Citations

25

H-Index

1

Active since

1992

Affiliations

Karlsruhe University of Education(Current)

P. Kejwal is an author at Karlsruhe University of Education specializing in software verification, system software, 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