pdf-format: |
|
@InProceedings{schupfer_et_al:DagSemProc.10271.4, author = {Schupfer, Florian and Grimm, Christoph}, title = {{Towards more Dependable Verification of Mixed-Signal Systems}}, booktitle = {Verification over discrete-continuous boundaries}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10271}, editor = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiene Tahar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2010/2791}, URN = {urn:nbn:de:0030-drops-27911}, doi = {10.4230/DagSemProc.10271.4}, annote = {Keywords: Affine Arithmetic, Range based methods, Verification, Semi-symbolic simulation} }
Keywords: | Affine Arithmetic, Range based methods, Verification, Semi-symbolic simulation | |
Seminar: | 10271 - Verification over discrete-continuous boundaries | |
Issue date: | 2010 | |
Date of publication: | 02.11.2010 |