Search results
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 256-263
IFIP — The International Federation for Information Processing > Architecture Description Languages > Domain Specific Architecture Description Languages > 181-195
Lecture Notes in Computer Science > Advances in Pattern Recognition > Neural Networks and Signal Processing > 210-219
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > System and Program Verification, Model Checking and Theorem Proving > 177-213
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 109-124
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 74-93
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > State Space Reductions > 458-472
Lecture Notes in Computer Science > Component-Based Software Engineering > Generation and Adaptation of Component-Based Systems > 48-58
Lecture Notes in Computer Science > Progress in WWW Research and Development > Privacy, and Security > 359-370