Concepedia
2005 · 12 citations · 0 references
ComputingComputer ScienceFormal MethodsModel-based Systems EngineeringSystems ModelingDeductive VerificationModel CheckingModel ExecutionModel-driven Software EngineeringSpecification LanguagesVerificationFormal ModelingModel Checking SpecificationsModel-based Verification