Publication | Closed Access
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification
56
Citations
23
References
2009
Year
FrenchEngineeringResearch InstitutionsVerificationBibliometricsModel CheckingResearch EthicsSemanticsModel VerificationSoftware AnalysisFormal VerificationNot.the DocumentsComparative LiteratureInstrumented ApproachScientific IntegrityLanguage StudiesFormal SpecificationFormal ModelingSemantics DefinitionArchival ScienceHumanitiesAutomated ReasoningFormal MethodsScholarly CommunicationModel AbstractionPublication Ethic
published or not.The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.L'archive ouverte pluridisciplinaire
| Year | Citations | |
|---|---|---|
Page 1
Page 1