Abstrakt. Tidningen beskriver ett experiment där ett ramverk för modellkontroll av Java byte-kod, kombinerat med användning av teknik för övervakning av körtid genom kodskrivning, användes för att garantera korrekta egenskaper hos en Java Card-applet.
- L.-A. - Vad är det? Fredlund REF implementerar en runtime monitor som styr utförandet av en Java-kortapplet.
Guaranteeing Correctness Properties of a Java Card Applet
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}