Concepedia
1997 · 40 citations · 0 references
EngineeringSystems EngineeringFormal MethodsModel-based Systems EngineeringData ValidationModel CheckingModel ValidationRequirements ValidationVerificationAutomated Model CheckingModel Consistency CheckingModel TestingModel VerificationModel-based Verification