Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-01, Vol.240 (Proc. F-IDE 2016), p.38-52
2017
Volltextzugriff (PDF)
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2021, p.454-463
2021
Volltextzugriff (PDF)
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020, p.1-10
2020
Volltextzugriff (PDF)
In proc. of th 4e ACM SIGPLAN workshop on Programming Languages and Analysis for Security, 2011, p.1-12
2011
Volltextzugriff (PDF)
ADVANCES IN COMPUTER SCIENCE - ASIAN 2007, 2007, Vol.4846, p.33-47
2007
Volltextzugriff (PDF)
CEUR Workshop Proceedings, 2024, Vol.3610
2024
Volltextzugriff (PDF)
Proceedings of the 2012 ACM conference on Computer and communications security, 2012, p.894-905
2012
Volltextzugriff (PDF)
CEUR Workshop Proceedings, 2023, Vol.3329
2023
Volltextzugriff (PDF)
20th IEEE Computer Security Foundations Symposium (CSF'07), 2007, p.218-232
2007
Volltextzugriff (PDF)
Proceedings of the 16th ACM conference on Computer and communications security, 2009, p.432-441
2009
Volltextzugriff (PDF)
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019, p.50-59
2019
Volltextzugriff (PDF)
ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2006, p.75-89
2006
Volltextzugriff (PDF)
Information and Communications Security, p.732-742
Volltextzugriff (PDF)
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023, p.29-42
2023
Volltextzugriff (PDF)
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2016, p.555-562
2016
Volltextzugriff (PDF)
Journal of object technology, 2020-07, Vol.19 (2), p.1-21
2020
Volltextzugriff (PDF)
Software Reuse: Bridging with Social-Awareness, p.368-383
Volltextzugriff (PDF)
2007
Volltextzugriff (PDF)
2007
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2008-11, Vol.219, p.3-18
2008
Volltextzugriff (PDF)
2012 IEEE 25th Computer Security Foundations Symposium, 2012, p.30-44
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Software Engineering
- Security
- Computer Aided Engineering
- Concrete
- Cryptography And Security
- Declassification
- Domain Specific
- Domain-Specific Languages
- Epistemic Logic
- Formal Definition
- Modeling And Simulation
- Modeling Requirements
- Noninterference
- Public Output
- Analytical Models
Kollektion