Ric Klaren

发表

Synthesis and stochastic assessment of schedules for lacquer production

Holger Hermanns, Angelika Mader, Yaroslav S. Usenko, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

The Modest Modeling Tool and Its Implementation

Joost-Pieter Katoen, Holger Hermanns, Henrik C. Bohnenkamp, 2003, Computer Performance Evaluation / TOOLS.

Embedded Software Analysis with MOTOR

Joost-Pieter Katoen, Holger Hermanns, Henrik C. Bohnenkamp, 2004, SFM.

MoDeST - A Modelling and Description Language for Stochastic Timed Systems

Joost-Pieter Katoen, Holger Hermanns, Pedro R. D'Argenio, 2001, PAPM-PROBMIV.