Sciweavers

2687 search results - page 52 / 538
» Formal Analysis of PKCS
Sort
View
IASTEDSE
2004
14 years 12 days ago
Formal fault tree construction and system safety analysis
Jianwen Xiang, Kokichi Futatsugi, Yanxiang He
FOIS
2001
14 years 12 days ago
An enriched knowledge model for formal ontological analysis
Valentina A. M. Tamma, Trevor J. M. Bench-Capon