- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1614-5054
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Sound black-box checking in the LearnLib ; volume:15 ; number:3-4 ; day:30 ; month:5 ; year:2019 ; pages:267-287 ; date:9.2019
Innovations in systems and software engineering ; 15, Heft 3-4 (30.5.2019), 267-287, 9.2019
- Creator
-
Meijer, Jeroen
Pol, Jaco van de
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11334-019-00342-6
- URN
-
urn:nbn:de:101:1-2020010522003732156579
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Meijer, Jeroen
- Pol, Jaco van de
- SpringerLink (Online service)
Other Objects (12)
Probabilistic black-box reachability checking (extended version)
Black-Box, op. 19
The Black-box murder
Arbeitsblätter zur Black-Box, Lehrerausg.
Arbeitsblätter zur Black-Box, Schülerausg.
Polymer extrusion : black-box reveal
Program analysis and black-box GUI testing : = Program Analysis und Black-box GUI Testing
Black-Box Parallelization for Machine Learning
Studies in Continuous Black-box Optimization
Checking of sound emission values
Black-Box Unternehmensverantwortung : Herausforderungen für den Mittelstand
Surrogate models for black-box optimization problems
Probabilistic black-box reachability checking (extended version)
Black-Box, op. 19
The Black-box murder
Arbeitsblätter zur Black-Box, Lehrerausg.
Arbeitsblätter zur Black-Box, Schülerausg.
Polymer extrusion : black-box reveal
Program analysis and black-box GUI testing : = Program Analysis und Black-box GUI Testing
Black-Box Parallelization for Machine Learning
Studies in Continuous Black-box Optimization
Checking of sound emission values
Black-Box Unternehmensverantwortung : Herausforderungen für den Mittelstand
Surrogate models for black-box optimization problems
Probabilistic black-box reachability checking (extended version)
Black-Box, op. 19
The Black-box murder
Arbeitsblätter zur Black-Box, Lehrerausg.
Arbeitsblätter zur Black-Box, Schülerausg.
Polymer extrusion : black-box reveal
Program analysis and black-box GUI testing : = Program Analysis und Black-box GUI Testing
Black-Box Parallelization for Machine Learning
Studies in Continuous Black-box Optimization
Checking of sound emission values
Black-Box Unternehmensverantwortung : Herausforderungen für den Mittelstand