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
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
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II
1, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I
1, 2020
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
1, 2019
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
1, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings
1st Edition 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
1, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated anonymity verification of the ThreeBallot and VAV voting systems
Software and systems modeling, 2016-10, Vol.15 (4), p.1049-1062
2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Techniques for modelling and verifying railway interlockings
International journal on software tools for technology transfer, 2014-11, Vol.16 (6), p.685-711
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
2005., 2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
An integrated framework for checking the behaviour of fUML models using CSP
International journal on software tools for technology transfer, 2013-08, Vol.15 (4), p.375-396
2013
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)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying authentication protocols in CSP
IEEE transactions on software engineering, 1998-09, Vol.24 (9), p.741-758
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
2013, 2013
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Communicating B Machines
Lecture notes in computer science, 2002, Vol.2272, p.416-435
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)
Lecture notes in computer science, 2005
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Chunks: Component Verification in CSP ∥ B
Integrated Formal Methods, 2005, p.89-108
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Augmenting B with Control Annotations
B 2007: Formal Specification and Development in B, 2006, p.34-48
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formulating Cost-Effective Monitoring Strategies for Service-Based Systems
IEEE transactions on software engineering, 2014-05, Vol.40 (5), p.461-482
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
What Makes Agile Software Development Agile?
IEEE transactions on software engineering, 2022-09, Vol.48 (9), p.3523-3539
2022
Volltextzugriff (PDF)
1 – 25 von 28
Suche als RSS-Feed
Aktive Filter
KollektionEZB Electronic Journals Library
ThemaComputer Science, Theory & Methods
ThemaSoftware Engineering
Suchergebnisse filtern
Filter anzeigen