K.K. Sandhu is an author at Coventry (United Kingdom) specializing in formal methods, computer engineering, and system software.
Top concepts
SemanticsEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
1992–1992
1
1
Specification and description language (SDL)
K.K. Sandhu · Formal Methods · 1992 · 129 citations
Physical Representation, Engineering, Object-oriented Modeling +18
Rows per page
1–1 of 1