Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 5 von 5

1

Java-MaC: A run-time assurance approach for Java programs
Moonzoo Kim ; Insup Lee ; The Pennsylvania State University CiteSeerX Archives
http://cs.kaist.ac.kr/~moonzoo/papers/fmsd04_javamac.pdf.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
2

Java-MaC: A Run-time Assurance Approach for Java Programs
Kannan, Sampath ; Kim, Moonjoo ; Lee, Insup ; et al.
67 ; Departmental Papers (CIS) ; true ; published

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
3

Java-MaC: A run-time assurance approach for Java programs
Kim, Moonzoo ; Viswanathan, M ; Kannan, S ; et al.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
4

Java-MaC: A run-time assurance approach for Java programs
Moonzoo Kim ; Sampath Kannan ; Insup Lee ; et al.
http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/kim04_java-mac.pdf.

software reliability formal specification run-time monitoring and... execution trace validati... program instrumentation Java
Fachzeitschrift
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter