×

Found 3 Software Packages (Results 1–3)

Petruchio

Software Authors:   Tim Strazny; Roland Meyer; Sven Linker
Cited in: 15 Publications (2008–2022)
Related Software: MWB; SLMC; Storm; MCMAS; PRISM; Overture Tool; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

libDDD

Software Authors:   –
Cited in: 6 Publications (2008–2019)
Related Software: Renew; GreatSPN; LOEWE; ITS-Tools; caesar.bdd; Meddly; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

MARCIE

Software Authors:   Heiner, Monika; Rohr, Christian; Schwarick, Martin
Cited in: 5 Publications (2013–2017)
Related Software: PRISM; SABRE; CADP; SPIN; MRMC; Bio-PEPA; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)