Profile List
 Re-build Profile

Last update: 2025-04-09T08:32:22.132+02:00 by Marcus Meyer (4f625cdb):

Set new notebook repo for profile 'dbisvl2022-test'

[MVPS] Modeling and Verification of Probabilistic Systems #mvps

Description

No description yet!

Fact Value
Slug mvps
Insitute Lehrstuhl für Informatik 2
Base rwth-courses
Course of Studies M.Sc. Informatik
Faculty Mathematics, Computer Science and Natural Sciences
Last Build
State failed #6086678
Commit 4f625cdb (Set new notebook repo for profile 'dbisvl2022-test' )
Date 2025-04-04T18:06:01.133+02:00
Duration 2897.61177 seconds
Triggered by Marcus Meyer (@mmeyer)
License GPL-3.0-or-later
Copyright 2023, Lehrstuhl Informatik 2, RWTH Aachen University

Contacts

Links

Versions

Name Version
Name Version
Name Version
Name Version
Name Version

Run locally

Install Docker and run:

$ docker run -p 8888:8888 registry.git.rwth-aachen.de/jupyter/profiles/mvps