Diese Webseite verwendet Cookies

Wir verwenden Cookies, um unsere Website optimal für Sie zu gestalten. Mit dem Bestätigen des Buttons "Akzeptieren" stimmen Sie der Verwendung von Cookies zu. Durch Anklicken der untenstehenden Checkboxen können Sie auswählen, welche Cookie-Kategorien Sie zulassen möchten. Durch Klicken auf die Schaltfläche "Mehr anzeigen" erhalten Sie eine Beschreibung jeder Kategorie. Weitere Informationen finden Sie in unserer Datenschutzerklärung.

Notwendig

Auswahl zustimmen Allen zustimmen

Cookie-Details

Notwendig

Notwendige Cookies helfen, eine Website nutzbar zu machen, indem sie grundlegende Funktionen wie die Seitennavigation und den Zugang zu sicheren Bereichen der Website ermöglichen. Ohne diese Cookies kann die Website nicht ordnungsgemäß funktionieren.

go to navigation
go to main content
go to footer

Zeichenabstand:

Schriftgröße:

Lorem ipsum dolor sit amet consectetur adipiscing elit, urna consequat felis, aenean non a in donec nulla. 
 Phasellus ante pellentesque erat cum risus consequat imperdiet aliquam.

Suche etwas ...

Sprache

Englisch
Deutsch
Schließen

Suche etwas ...

Navigation

Bildungseinrichtungen

Arbeitskreis E-Learning
BA Sachsen
BPS
HDS
HfBK Dresden
HfM Dresden
HGB Leipzig
HMT Leipzig
HS Mittweida
HS Palucca Dresden
HS Zittau/Görlitz
HTW Dresden
HTWK Leipzig
LRK Sachsen
SLUB Dresden
TU BA Freiberg
TU Chemnitz
TU Dresden
Uni Leipzig
WH Zwickau

Bildungseinrichtungen

Arbeitskreis E-Learning
BA Sachsen
BPS
HDS
HfBK Dresden
HfM Dresden
HGB Leipzig
HMT Leipzig
HS Mittweida
HS Palucca Dresden
HS Zittau/Görlitz
HTW Dresden
HTWK Leipzig
LRK Sachsen
SLUB Dresden
TU BA Freiberg
TU Chemnitz
TU Dresden
Uni Leipzig
WH Zwickau

Navigation

Bildungseinrichtungen Fakultät Informatik MOST [P4] 1. Analysis and Reachability in GraphWare (1/3)

MOST [P4] 1. Analysis and Reachability in GraphWare (1/3)

Zurück Weiter

117 views
0 Kommentare
0 likes
0 favorites

Starten bei:

: :

Permalink

QR Code

Laden Sie den QR-Code dieses Videos hier herunter oder öffnen Sie ihn in einem neuen Tab.

Embedcode

Größe:

x px

fixiert

Andere:

Autoplay Stumm Kontrolleiste Responsive Höhe px Related Media Player erst nach Klick laden

CSS Klasse:

<iframe src="https://videocampus.sachsen.de/media/embed?key=ae2949fbef853e519d0c581a142c7682&width=720&height=405&autoplay=false&controls=true&autolightsoff=false&loop=false&chapters=false&playlist=false&related=false&responsive=false&t=0&loadonclick=true&thumb=true" data-src="https://videocampus.sachsen.de/media/embed?key=ae2949fbef853e519d0c581a142c7682&width=720&height=405&autoplay=false&controls=true&autolightsoff=false&loop=false&chapters=false&playlist=false&related=false&responsive=false&t=0&loadonclick=true" class="" width="720" height="405" title="MOST [P4] 1. Analysis and Reachability in GraphWare (1/3)" frameborder="0" allowfullscreen="allowfullscreen" allowtransparency="true" scrolling="no" aria-label="media embed code" style=""></iframe>

Eingebettet auf leerer Seite

https://videocampus.sachsen.de/media/embed?key=ae2949fbef853e519d0c581a142c7682&width=720&height=405&autoplay=false&controls=true&autolightsoff=false&loop=false&chapters=false&playlist=false&related=false&responsive=false&t=0&loadonclick=true&thumb=true

Target ID:

Ein Container mit dieser ID muss auf der einbettenden Website vorhanden sein (z.B. <div id='meineTargetID'></div>

Größe:

× px

fixiert

Andere:

Autoplay Kontrolleiste Download erlauben Bild-In-Bild erlauben Wiedergaberate erlauben Vollbild erlauben Player erst nach Klick laden

Empfehlen

Geben Sie nachfolgend die E-Mail-Adresse des Empfängers und einen Text zur Empfehlung ein.

E-Mail-Adresse

Ihre Nachricht

hochgeladen 22. September 2022

Overview of the Lecture

Graph analysis, reachability and transformation based on Datalog (Semmle .QL, TGreQL). Traceability in the ReDeCT megamodel (between requirements, design, code, and test).

Tags: