Sciweavers

6650 search results - page 25 / 1330
» models 2009
Sort
View
ERLANG
2009
ACM
15 years 4 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund
SACMAT
2009
ACM
15 years 4 months ago
Extending access control models with break-glass
Achim D. Brucker, Helmut Petritsch