Changes between Version 4 and Version 5 of Specifications


Ignore:
Timestamp:
Jun 18, 2008, 10:42:49 AM (10 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specifications

    v4 v5  
    33== MRMC Specifications ==
    44
    5 Here you will find all kinds of specifications and documents related to MRMC. 
     5Here you will find all kinds of specifications and documents related to MRMC.
    66
    7 == Documentation: ==
     7[[PageOutline(3-3, Content:, inline)]]
     8
     9=== Documentation: ===
    810 * The MRMC interface:
    911  * Version 1.2.2 [attachment:Documentation_1.2.2.txt TXT]
     
    1416  * The Wikipedia discussion page. [http://en.wikipedia.org/wiki/Talk:Markov_Reward_Model_Checker_(MRMC) LINK]
    1517
    16 == Presentations: ==
     18=== Presentations: ===
    1719 * Markov Reward Model Checker, VOSS-II final meeting. [attachment:VOSS_2007_11_12.pdf PDF]
    1820 * How Fast and Fat Is Your Probabilistic Model Checker? [attachment: PPS]
     
    2224 * ETMCC v2.0 (MRMC), VOSS-II kick off meeting. [attachment: PDF]
    2325
    24 == Posters: ==
     26=== Posters: ===
    2527 * Tag der Informatik'06 at RWTH-Aachen. [attachment: JPG], [attachment: PNG]
    2628