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
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
1st Edition 2018, 2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Transactions on Computational Systems Biology XIII
1, 2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
1, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes
1, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Minimisation of Spatial Models Using Branching Bisimilarity
Formal Methods, 2023, Vol.14000, p.263-281
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On Bisimilarity for Polyhedral Models and SLCS
Formal Techniques for Distributed Objects, Components, and Systems, 2023, Vol.13910, p.132-151
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
Formal Methods, 2018, Vol.10951, p.329-337
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
From Software Engineering to Formal Methods and Tools, and Back, 2019, Vol.11865, p.449-463
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Probabilistic Automata: System Types, Parallel Composition and Comparison
Lecture notes in computer science, 2004, Vol.2925, p.1-43
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_\eta $$\end{document}
Formal Techniques for Distributed Objects, Components, and Systems, 2024, p.20-38
2024
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Multi-robot LTL Planning Under Uncertainty
22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, 2018, Vol.10951, p.399-417
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm
Formal Methods, 2018, Vol.10951, p.364-381
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
Formal Methods, 2018, Vol.10951, p.456-465
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extending Paradigm with Data
It's All About Coordination, 2018, Vol.10865, p.224-244
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Family-Based Model Checking with mCRL2
Fundamental Approaches to Software Engineering, 2017, Vol.10202, p.387-405
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Disruptive Innovations for the Development and the Deployment of Fault-Free Software
Formal Methods, 2018, Vol.10951, p.686-689
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evidential and Continuous Integration of Software Verification Tools
Formal Methods, 2018, Vol.10951, p.679-685
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Problem Solving Using Process Algebra Considered Insightful
ModelEd, TestEd, TrustEd, 2017, Vol.10500, p.48-63
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Timed Epistemic Knowledge Bases for Social Networks
Formal Methods, 2018, Vol.10951, p.185-202
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Vector Barrier Certificates and Comparison Systems
Formal Methods, 2018, Vol.10951, p.418-437
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models
Formal Methods, 2018, Vol.10951, p.240-257
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modular Verification of Programs with Effects and Effect Handlers in Coq
Formal Methods, 2018, Vol.10951, p.338-354
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modelling and Analysing Software in mCRL2
Formal Aspects of Component Software, 2020, Vol.12018, p.25-48
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Deadlock Detection for Actor-Based Coroutines
Formal Methods, 2018, Vol.10951, p.39-54
2018
Volltextzugriff (PDF)
1 – 25 von 86
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieLogical Methods In Computer Science
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen