Sciweavers

7961 search results - page 50 / 1593
» Input-Output Model Programs
Sort
View
136
Voted
ER
2009
Springer
96views Database» more  ER 2009»
16 years 2 months ago
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
Richard Dapoigny, Patrick Barlatier
IFIP
2004
Springer
16 years 23 days ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan