Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

to related objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

Extent: Online-Ressource

Language: Deutsch

Bibliographic citation: In: In: Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S. & Steghöfer, J.-P. (Hrsg.), Software Engineering und Software Management 2018. Bonn: Gesellschaft für Informatik. (S. 209-210).

Keyword: Model Checking
Verifikation
Zustandsraum
Modelltransformation
Hamburg

Event: Veröffentlichung

(where): Hamburg

(who): Universitätsbibliothek der Technischen Universität Hamburg-Harburg

(when): 2018

Creator: Padberg, Julia
Schlaefer, Alexander
Schupp, Sibylle

URN: urn:nbn:de:gbv:830-882.058632

Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 14.08.2025, 10:50 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Show original at data provider

Associated

Padberg, Julia
Schlaefer, Alexander
Schupp, Sibylle
Universitätsbibliothek der Technischen Universität Hamburg-Harburg

Time of origin

2018

Other Objects (12)

Hochschulschrift

Computer assisted planning for robotic radiosurgery

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Efficient neural architecture search on low-dimensional data for OCT image segmentation

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Data augmentation for computed tomography angiography via synthetic image generation and neural domain adaptation

GANs for generation of synthetic ultrasound images from small datasets

Generalization of spatio-temporal deep learning for vision-based force estimation

Robotic systems in radiotherapy and radiosurgery

Robotic Systems in Radiotherapy and Radiosurgery

Konferenzschrift | Kongress

Robotic sailing : proceedings of the 4th International Robotic Sailing Conference

4D spatio-temporal deep learning with 4D fMRI data for autism spectrum disorder classification

Optimizing robot motion for robotic ultrasound-guided radiation therapy

Hochschulschrift

Computer assisted planning for robotic radiosurgery

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Efficient neural architecture search on low-dimensional data for OCT image segmentation

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Data augmentation for computed tomography angiography via synthetic image generation and neural domain adaptation

GANs for generation of synthetic ultrasound images from small datasets

Generalization of spatio-temporal deep learning for vision-based force estimation

Robotic systems in radiotherapy and radiosurgery

Robotic Systems in Radiotherapy and Radiosurgery

Konferenzschrift | Kongress

Robotic sailing : proceedings of the 4th International Robotic Sailing Conference

4D spatio-temporal deep learning with 4D fMRI data for autism spectrum disorder classification

Optimizing robot motion for robotic ultrasound-guided radiation therapy

Hochschulschrift

Computer assisted planning for robotic radiosurgery

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Efficient neural architecture search on low-dimensional data for OCT image segmentation

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Data augmentation for computed tomography angiography via synthetic image generation and neural domain adaptation

GANs for generation of synthetic ultrasound images from small datasets

Generalization of spatio-temporal deep learning for vision-based force estimation

Robotic systems in radiotherapy and radiosurgery

Robotic Systems in Radiotherapy and Radiosurgery

Konferenzschrift | Kongress

Robotic sailing : proceedings of the 4th International Robotic Sailing Conference

4D spatio-temporal deep learning with 4D fMRI data for autism spectrum disorder classification

Optimizing robot motion for robotic ultrasound-guided radiation therapy

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read and agree to the privacy policy for the collection of personal data.*

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

Show object

References and Relationships

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

Other Objects (12)

Computer assisted planning for robotic radiosurgery

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Efficient neural architecture search on low-dimensional data for OCT image segmentation

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Data augmentation for computed tomography angiography via synthetic image generation and neural domain adaptation

GANs for generation of synthetic ultrasound images from small datasets

Generalization of spatio-temporal deep learning for vision-based force estimation

Robotic systems in radiotherapy and radiosurgery

Robotic Systems in Radiotherapy and Radiosurgery

Robotic sailing : proceedings of the 4th International Robotic Sailing Conference

4D spatio-temporal deep learning with 4D fMRI data for autism spectrum disorder classification

Optimizing robot motion for robotic ultrasound-guided radiation therapy

Computer assisted planning for robotic radiosurgery

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Efficient neural architecture search on low-dimensional data for OCT image segmentation

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Data augmentation for computed tomography angiography via synthetic image generation and neural domain adaptation

GANs for generation of synthetic ultrasound images from small datasets

Generalization of spatio-temporal deep learning for vision-based force estimation

Robotic systems in radiotherapy and radiosurgery

Robotic Systems in Radiotherapy and Radiosurgery

Robotic sailing : proceedings of the 4th International Robotic Sailing Conference

4D spatio-temporal deep learning with 4D fMRI data for autism spectrum disorder classification

Optimizing robot motion for robotic ultrasound-guided radiation therapy

Computer assisted planning for robotic radiosurgery

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Efficient neural architecture search on low-dimensional data for OCT image segmentation

SpeckleGAN: a generative adversarial network with an adaptive speckle layer to augment limited training data for ultrasound image processing

Data augmentation for computed tomography angiography via synthetic image generation and neural domain adaptation

GANs for generation of synthetic ultrasound images from small datasets

Generalization of spatio-temporal deep learning for vision-based force estimation

Robotic systems in radiotherapy and radiosurgery

Robotic Systems in Radiotherapy and Radiosurgery

Robotic sailing : proceedings of the 4th International Robotic Sailing Conference

4D spatio-temporal deep learning with 4D fMRI data for autism spectrum disorder classification

Optimizing robot motion for robotic ultrasound-guided radiation therapy

Related objects

Reset password