Streams and Sockets in DTU-RTMM

Publication: Research - peer-review › Report – Annual report year: 2000

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows
Publication: Research - peer-review › Journal article – Annual report year: 2013
A collaborative approach to botnet protection
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Quantitative analysis of probabilistic BPMN workflows
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Using Stochastic Model Checking to Provision Complex Business Services
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
CDIO Projects in DTU’s B.Eng. in IT Study Program
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

Author: Sharp, Robin
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:
Author: Løvengreen, Hans Henrik
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:
Author: Todirica, Edward Alexandru
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:

Original language	English
Publication date	2000

Publisher	Department of Information Technology, DTU
State	Published

ID: 2984150

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows