Search results for: Janusz Gorski
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Applications > 306-315
NATO Science Series II: Mathematics, Physics and Chemistry
Software Quality Journal > 2018 > 26 > 1 > 67-96
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 190-199
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems > Information Technology Security > 3-12
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems > Information Technology Security > 103-112
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2010 > Secure Architectures > 639-655
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Transport & Infrastructure > 382-394
NATO Science Series II: Mathematics, Physics and Chemistry > Cyberspace Security and Defense: Research Issues > Dependability > 125-141
Lecture Notes in Computer Science > Balancing Agility and Formalism in Software Engineering > Measurement > 26-39
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Safety Cases > 291-304
Lecture Notes in Computer Science