Sciweavers

2404 search results - page 6 / 481
» Postmodernism and Control Engineering
Sort
View
PEPM
2009
ACM
16 years 1 months ago
Shifting the stage: staging with delimited control
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Sha...
ESSOS
2010
Springer
16 years 1 months ago
Idea: Efficient Evaluation of Access Control Constraints
Achim D. Brucker, Helmut Petritsch
125
Voted
ICFEM
2009
Springer
15 years 11 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel