UB Paderborn / Katalog / Suche / in CDI

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...

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Steffen, Bernhard

1, 2023

Volltextzugriff (PDF)

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

Ihlenfeldt, Steffen

1, 2023

Volltextzugriff (PDF)

Optimising strategies for Plasmodium falciparum malaria elimination in Cambodia: primaquine, mass drug administration and artemisinin resistance

PloS one, 2012-05, Vol.7 (5), p.e37166

2012

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)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

1st Edition 2022, 2022

Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

1st Edition 2022, 2022

Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

1st Edition 2022, 2022

Volltextzugriff (PDF)

Model-Based Testing as a Service for IoT Platforms

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.727-742

Volltextzugriff (PDF)

Advances in Embedded and Fan-Out Wafer Level Packaging Technologies

1st edition., 2019

Volltextzugriff (PDF)

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

Steffen, Bernhard

Volltextzugriff (PDF)

Feedback Control for Statistical Model Checking of Cyber-Physical Systems

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.46-61

Volltextzugriff (PDF)

Detecting Web-Based Botnets Using Bot Communication Traffic Features

Security and communication networks, 2017-01, Vol.2017, p.1-11

2017

Volltextzugriff (PDF)

A complete method for the synthesis of linear ranking functions

Lecture notes in computer science, 2004, p.239-251

2004

Volltextzugriff (PDF)

A Toolchain for Delta-Oriented Modeling of Software Product Lines

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.497-511

Volltextzugriff (PDF)

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.143-159

Volltextzugriff (PDF)

Better Railway Engineering Through Statistical Model Checking

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.151-165

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Steffen, Bernhard

1998

Volltextzugriff (PDF)

Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.27-45

Volltextzugriff (PDF)

Conditions for Compatibility of Components: The Case of Masters and Slaves

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, p.784-805

2016

Volltextzugriff (PDF)

Data Science Challenges to Improve Quality Assurance of Internet of Things Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.707-726

Volltextzugriff (PDF)

Meta-Level Reuse for Mastering Domain Specialization

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.218-237

Volltextzugriff (PDF)

Approximate probabilistic model checking

Lecture notes in computer science, 2004, p.73-84

2004

Volltextzugriff (PDF)

Predictive Abuse Detection for a PLC Smart Lighting Network Based on Automatically Created Models of Exponential Smoothing

Security and communication networks, 2017-01, Vol.2017, p.1-19

2017

Volltextzugriff (PDF)

User Profiles for Context-Aware Reconfiguration in Software Product Lines

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.563-578

Volltextzugriff (PDF)

Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.315-330

Volltextzugriff (PDF)

1 – 25 von 4.694

Suche als RSS-Feed

Aktive Filter

SpracheTschechisch

ThemaComputer Science

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(2.962)
Mit Volltextzugriff
(4.426)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(4.692)
Japanisch
(179)
Norwegisch
(9)
Deutsch
(4)

Erscheinungsjahr

n.n

Thema

Science & Technology
(4.021)
Technology
(3.978)
Computer Science, Theory & Methods
(1.994)
Computer Science, Software Engineering
(1.353)
Computer Science, Information Systems
(1.201)
Computer Science, Artificial Intelligence
(1.066)
Engineering
(820)
Computer Science, Interdisciplinary Applications
(683)
Engineering, Electrical & Electronic
(547)
Software
(478)
Exact Sciences And Technology
(450)
Artificial Intelligence
(431)
Applied Sciences
(428)
Software Engineering
(422)
Computer Science; Control Theory; Systems
(403)
Physical Sciences
(378)
Congresses
(354)
Mathematics
(345)
Computer Science, Hardware & Architecture
(324)

14 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(16)

Menü

Weitere Dienste

Einstellungen

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

Optimising strategies for Plasmodium falciparum malaria elimination in Cambodia: primaquine, mass drug administration and artemisinin resistance

Supervisory Controller Synthesis for Product Lines Using CIF 3

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Model-Based Testing as a Service for IoT Platforms

Advances in Embedded and Fan-Out Wafer Level Packaging Technologies

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

Feedback Control for Statistical Model Checking of Cyber-Physical Systems

Detecting Web-Based Botnets Using Bot Communication Traffic Features

A complete method for the synthesis of linear ranking functions

A Toolchain for Delta-Oriented Modeling of Software Product Lines

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking

Better Railway Engineering Through Statistical Model Checking

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances

Conditions for Compatibility of Components: The Case of Masters and Slaves

Data Science Challenges to Improve Quality Assurance of Internet of Things Applications

Meta-Level Reuse for Mastering Domain Specialization

Approximate probabilistic model checking

Predictive Abuse Detection for a PLC Smart Lighting Network Based on Automatically Created Models of Exponential Smoothing

User Profiles for Context-Aware Reconfiguration in Software Product Lines

Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach

Aktive Filter

Suchergebnisse filtern