Sciweavers

2041 search results - page 31 / 409
» Modelling Generic Judgements
Sort
View
TPHOL
1992
IEEE
15 years 6 months ago
Modelling Generic Hardware Structures by Abstract Datatypes
Klaus Schneider, Ramayya Kumar, Thomas Kropf
IWSM
2000
Springer
15 years 6 months ago
A Generic Model for Assessing Process Quality
Manoranjan Satpathy, Rachel Harrison, Colin F. Sno...
EUC
2008
Springer
15 years 4 months ago
Property Verification for Generic Access Control Models
Vincent C. Hu, D. Richard Kuhn, Tao Xie