Výsledky vyhledávání - "Java bytecode engineering"

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

    Java-MaC: A Run-Time Assurance Approach for Java Programs Autor Kim, MoonZoo, Viswanathan, Mahesh, Kannan, Sampath, Lee, Insup, Sokolsky, Oleg

    ISSN: 0925-9856, 1572-8102
    Vydáno: 01.03.2004
    Vydáno v Formal methods in system design (01.03.2004)
    “…We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: