Sciweavers

9698 search results - page 100 / 1940
» models 2010
Sort
View
SECRYPT
2010
132views Business» more  SECRYPT 2010»
15 years 4 months ago
Efficient Algorithmic Safety Analysis of HRU Security Models
Anja Fischer, Winfried E. Kühnhauser
TAICPART
2010
IEEE
125views Education» more  TAICPART 2010»
15 years 4 months ago
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models
Marko Kääramees, Jüri Vain, Kullo R...