Filtrování

    2008

    1. Can Flash Memory Help in Model Checking? D - Stať ve sborníku
      BARNAT, Jiří; Luboš BRIM; Stefan EDELKAMP; Damian SULEWSKI a Pavel ŠIMEČEK. Can Flash Memory Help in Model Checking? In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla: ERCIM, 2008, s. 159-174.
      Podrobněji: https://is.muni.cz/publication/777827/cs
Zobrazit podrobně