Sciweavers

800 search results - page 14 / 160
» Towards a formalization of budgets
Sort
View
VLDB
1993
ACM
104views Database» more  VLDB 1993»
15 years 2 months ago
Towards a Formal Approach for Object Database Design
Pascal Poncelet, Maguelonne Teisseire, Rosine Cicc...
INFOCOM
1997
IEEE
15 years 1 months ago
Toward Formal TTCN-Based Test Execution
Ruibing Hao, Jianping Wu