Publication | Open Access
String consistency for unified model building
123
Citations
82
References
1995
Year
EngineeringData ScienceAutomated ReasoningVerificationFormal MethodsComputer ScienceModel Transformation LanguageUnification GrammarUnified Model BuildingFormal VerificationData ModelingModel Composition
| Year | Citations | |
|---|---|---|
Page 1
Page 1