Sciweavers

127 search results - page 26 / 26
» Automatic test bench generation for simulation-based validat...
Sort
View
IJSWIS
2007
171views more  IJSWIS 2007»
13 years 5 months ago
Experience in Aligning Anatomical Ontologies
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
Songmao Zhang, Olivier Bodenreider
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 2 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer