ProB2-UI Overview

Michael Leuschel
9,587
Uploaded by mileu001 at 5/24/2021 - recorded at 5/24/2021
QR-Code

Speaker:

Michael Leuschel

Description:

Features of ProB2-UI, the user interface for the ProB animator, model checker and constraint solver

Category:

Tutorials

Tags:

  • No tags provided

License:

CC BY 3.0 DE

If not referenced otherwise this video "ProB2-UI Overview" is licensed under a Creative Commons Attribution 3.0 Germany License, HHU/Michael Leuschel.

Chapters:

Download:

  • mp4-Version - hohe Qualität with dimensions 1280 x 720 pixels
  • webm-Version - hohe Qualität with dimensions 1280 x 720 pixels
  • mp4-Version - mittlere Qualität with dimensions 854 x 480 pixels
  • webm-Version - mittlere Qualität with dimensions 854 x 480 pixels
  • mp4-Version - niedrige Qualität with dimensions 640 x 360 pixels
  • webm-Version - niedrige Qualität with dimensions 640 x 360 pixels

Embed:

Kopieren Sie den Einbettungscode und fügen Sie ihn in Ihre Webseite ein.