Vol. 41 No. 2 (1997)

AN EXECUTABLE SPECIFICATION FORMALISM REPRESENTING ABSTRACT DATA TYPES

József BOROVEN

85-100
- PDF
EVENT RECOGNITION VIA LINEAR STATE AND PARAMETER MODEL

Mohamed M. Elmisurati

101-121
- PDF
TRANSIENT ANALYSIS OF A PREEMPTIVE RESUME M/D/l/2/2 THROUGH PETRI NETS

Andrea Bobbio, Miklós Telek

123-146
- PDF
ANALYSIS AND IMPROVEMENT OF DETERMINISTIC URBAN WAVE PROPAGATION MODELS

Zoltán SÁNDOR, Tamás CSABA, Zoltán SZABÓ, Lajos NAGY

147-167
- PDF