|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker |
Visualization of Analysis Results in the ProC/B Toolset. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Falko Bause, Peter Buchholz 0001, Jan Kriege, Sebastian Vastag |
Simulating process chain models with OMNeT++. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
ProC/B, DES, logistics, OMNeT++ |
32 | Peter Buchholz 0001, Carsten Tepper |
Functional Analysis of Process-Oriented Systems. |
OR |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Sebastian Vastag |
ProC/B for Networks: Integrated INET Models. |
MMB/DFT |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Jan Kriege, Sebastian Vastag |
ProC/B goes OMNeT++: Efficient Simulation of Process Chains. |
MMB |
2008 |
DBLP BibTeX RDF |
|
28 | Jan Kriege |
Konsistenzprüfung von ProC/B-Modellen zur Vorbereitung einer simulativen Analyse. |
SimVis |
2007 |
DBLP BibTeX RDF |
|
28 | Peter Kemper, Carsten Tepper |
Visualizing the Dynamic Behavior of ProC/B Models. |
SimVis |
2005 |
DBLP BibTeX RDF |
|
28 | Peter Buchholz 0001, Falko Bause, Carsten Tepper |
The ProC/B-Approach from informal descriptions to formal models. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
28 | Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker |
The ProC/B Toolset for the Modelling and Analysis of Process Chains. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks |
21 | Peter Kemper, Carsten Tepper |
Trace based analysis of process interaction models. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Markus Arns, Peter Buchholz 0001, Dennis Müller 0003 |
OPEDo: a tool for the optimization of performance and dependability models. |
SIGMETRICS Perform. Evaluation Rev. |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Peter Buchholz 0001, Dennis Müller 0003, Peter Kemper, Axel Thümmler |
OPEDo: a tool framework for modeling and optimization of stochastic models. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|