Sciweavers

7961 search results - page 50 / 1593
» Input-Output Model Programs
Sort
View
83
Voted
ER
2009
Springer
96views Database» more  ER 2009»
15 years 9 months ago
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
Richard Dapoigny, Patrick Barlatier
94
Voted
IFIP
2007
Springer
15 years 8 months ago
Formal Modeling and Analysis of the Modbus Protocol
Bruno Dutertre
IFIP
2004
Springer
15 years 7 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan