Sciweavers

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