Dinesh Keskar is an author at Honeywell (United States) specializing in computer engineering, formal verification, and system software.
Top concepts
EngineeringData ModelingFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSystems ModellingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
1988–1988
1
1
An extended systems modeling language (ESML)
William Bruyn, Randall Jense, Dinesh Keskar et al. · ACM SIGSOFT Software Engineering Notes · 1988 · 42 citations · Full text
Rows per page
1–1 of 1