Works matching DE "COMSKEE (Computer program language)"


Results: 12
    1
    2

    COMPUTING MORPHISMS BY SPIKING NEURAL P SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1371, doi. 10.1142/S0129054107005418
    By:
    • PĂUN, GHEORGHE;
    • PÉREZ-JIMÉNEZ, MARIO J.;
    • ROZENBERG, GRZEGORZ;
    • Truthe, B.
    Publication type:
    Article
    3
    4
    5

    Checking probabilistic noninterference using JOANA.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. 280, doi. 10.1515/itit-2014-1051
    By:
    • Snelting, Gregor;
    • Giffhorn, Dennis;
    • Graf, Jürgen;
    • Hammer, Christian;
    • Hecker, Martin;
    • Mohr, Martin;
    • Wasserrab, Daniel
    Publication type:
    Article
    6
    7
    8
    9
    10
    11
    12