1
Publications
222
Citations
1
H-Index
2003
Active since
Affiliations
Brooks Automation (United States)(Current)
J.S. Carson is an author at Brooks Automation (United States) specializing in computer science, software analysis, and model validation.
Top concepts
SimulationEngineeringVerificationFormal MethodsComputer ScienceModel ValidationSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2003–2003
1
1
Model verification and validation
J.S. Carson · 2003 · 222 citations
Rows per page
1–1 of 1