Profile List
 Re-build Profile

Last update: 2024-04-28T15:03:53.554+02:00 by Marcus Meyer (b7fdc1cd):

Renamed profile 'llt-lmt'

[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 success #4826053
Commit 648523b2 (Removed moodle_ids and website attributes from profile 'nav-rsfs')
Date 2024-04-15T15:57:59.710+02:00
Duration 69.808062 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