UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 126

Sortiert nach

An efficient algorithm to determine probabilistic bisimulation

Algorithms, 2018-09, Vol.11 (9), p.131

2018

Volltextzugriff (PDF)

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)

Transactions on Computational Systems Biology XIII

1, 2011

Volltextzugriff (PDF)

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)

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

1, 2012

Volltextzugriff (PDF)

Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1

BioSystems, 2014-10, Vol.124, p.75-85

2014

Volltextzugriff (PDF)

Editorial

Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2

2021

Volltextzugriff (PDF)

Editorial

Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2

2021

Volltextzugriff (PDF)

Editorial

Formal aspects of computing, 2021, Vol.33 (1), p.1-2

2021

Volltextzugriff (PDF)

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Formal Methods, p.329-337

Volltextzugriff (PDF)

Supervisory Controller Synthesis for Product Lines Using CIF 3

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.856-873

Volltextzugriff (PDF)

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

Formal aspects of computing, 2012-03, Vol.24 (2), p.187-216

2012

Volltextzugriff (PDF)

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, p.449-463

Volltextzugriff (PDF)

Probabilistic Automata: System Types, Parallel Composition and Comparison

Lecture notes in computer science, 2004, p.1-43

2004

Volltextzugriff (PDF)

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

Formal Methods, p.456-465

Volltextzugriff (PDF)

A formal actor-based model for streaming the future

Science of computer programming, 2020-02, Vol.186, p.102341, Article 102341

2020

Volltextzugriff (PDF)

Evidential and Continuous Integration of Software Verification Tools

Formal Methods, p.679-685

Volltextzugriff (PDF)

Disruptive Innovations for the Development and the Deployment of Fault-Free Software

Formal Methods, p.686-689

Volltextzugriff (PDF)

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, p.20-38

Volltextzugriff (PDF)

20 Years of Real Real Time Model Validation

Formal Methods, p.22-36

Volltextzugriff (PDF)

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

Volltextzugriff (PDF)

Family-Based Model Checking with mCRL2

Fundamental Approaches to Software Engineering, p.387-405

Volltextzugriff (PDF)

Vector Barrier Certificates and Comparison Systems

Formal Methods, p.418-437

Volltextzugriff (PDF)

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 LNCS, p.399-417

2018

Volltextzugriff (PDF)

A Wide-Spectrum Language for Verification of Programs on Weak Memory Models

Formal Methods, p.240-257

Volltextzugriff (PDF)

1 – 25 von 126

Suche als RSS-Feed

Aktive Filter

Zeitschrift / SerieLogical Methods In Computer Science

KollektionIngentaConnect

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(110)
Mit Volltextzugriff
(125)

Publikationsform

Sprache

Englisch
(126)
Japanisch
(1)

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

An efficient algorithm to determine probabilistic bisimulation

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Transactions on Computational Systems Biology XIII

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

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1

Editorial

Editorial

Editorial

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Supervisory Controller Synthesis for Product Lines Using CIF 3

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice

Probabilistic Automata: System Types, Parallel Composition and Comparison

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

A formal actor-based model for streaming the future

Evidential and Continuous Integration of Software Verification Tools

Disruptive Innovations for the Development and the Deployment of Fault-Free Software

20 Years of Real Real Time Model Validation

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

Family-Based Model Checking with mCRL2

Vector Barrier Certificates and Comparison Systems

Multi-robot LTL Planning Under Uncertainty

A Wide-Spectrum Language for Verification of Programs on Weak Memory Models

Aktive Filter

Suchergebnisse filtern