Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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...
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
1st Edition 2017, 2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings
1st Edition 2018, 2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
1, 2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
1st ed. 2016, 2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL
Integrated Formal Methods, p.50-66
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Integrated Formal Methods, p.102-110
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
Integrated Formal Methods, p.145-160
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hoare-Style Reasoning from Multiple Contracts
Integrated Formal Methods, p.263-278
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Triggerless Happy: Intermediate Verification with a First-Order Prover
Integrated Formal Methods, 2017, Vol.10510, p.295-311
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Integrated Formal Methods, p.3-17
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams
Integrated Formal Methods, p.348-356
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
VBPMN: Automated Verification of BPMN Processes (Tool Paper)
Integrated Formal Methods, p.323-331
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Declaration of Software Independence
Protocols, Strands, and Logic, 2021, Vol.13066, p.198-217
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modelling and Verification of Timed Robotic Controllers
Integrated Formal Methods, p.18-33
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Analysis of Synchronisations in Stateful Active Objects
Integrated Formal Methods, p.195-210
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules
Integrated Formal Methods, p.407-421
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modular Verification of Order-Preserving Write-Back Caches
Integrated Formal Methods, p.375-390
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs
Integrated Formal Methods, p.111-126
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
How Well Can I Secure My System?
Integrated Formal Methods, p.332-347
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Generalised Test Tables: A Practical Specification Language for Reactive Systems
Integrated Formal Methods, p.129-144
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver
Integrated Formal Methods, p.177-191
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL
Integrated Formal Methods, p.34-49
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
Integrated Formal Methods, p.279-294
Volltextzugriff (PDF)
1 – 25 von 96
Suche als RSS-Feed
Aktive Filter
KollektionEZB Electronic Journals Library
KollektionPsychology and Behavioral Sciences Collection
ThemaComputer Science, Theory & Methods
KollektionSpringerLink Series
Suchergebnisse filtern
Filter anzeigen