Sciweavers

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