Concepedia

J. Straunstrup

JS

1

Publications

21

Citations

1

H-Index

2000

Active since

Affiliations

J. Straunstrup is an author at DHI specializing in computer science, system software, and systems engineering.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware AnalysisParallel ComputingAutomated Reasoning

Publications per year

2000–2000

1

Publications

1

Practical verification of embedded software

J. Straunstrup, Henrik Rasmus Andersen, Henrik Hulgaard et al. · Computer · 2000 · 21 citations

Practical Verification, Engineering, Verification +21

Rows per page

1–1 of 1