AAAAAA
Results:
1-8
|
Results: 8
Authors:
PUCHOL C
STUART DA
MOK AK
Citation: C. Puchol et al., AN OPERATIONAL SEMANTICS AND COMPILER FOR REAL-TIME SPECIFICATIONS, Integrated computer-aided engineering, 5(3), 1998, pp. 187-206
Authors:
YANG J
MOK AK
WANG F
Citation: J. Yang et al., SYMBOLIC MODEL CHECKING FOR EVENT-DRIVEN REAL-TIME SYSTEMS, ACM transactions on programming languages and systems, 19(2), 1997, pp. 386-412
Authors:
MOK AK
CHEN DJ
Citation: Ak. Mok et Dj. Chen, A MULTIFRAME MODEL FOR REAL-TIME TASKS, IEEE transactions on software engineering, 23(10), 1997, pp. 635-645
Authors:
KUO TW
MOK AK
Citation: Tw. Kuo et Ak. Mok, INCREMENTAL RECONFIGURATION AND LOAD ADJUSTMENT IN ADAPTIVE REAL-TIMESYSTEMS, I.E.E.E. transactions on computers, 46(12), 1997, pp. 1313-1324
Authors:
RIPOLL I
CRESPO A
MOK AK
Citation: I. Ripoll et al., IMPROVEMENT IN FEASIBILITY TESTING FOR REAL-TIME TASKS, Real time systems, 11(1), 1996, pp. 19-39
Authors:
WANG RH
MOK AK
Citation: Rh. Wang et Ak. Mok, RESPONSE-TIME BOUNDS OF EQL RULE-BASED PROGRAMS UNDER RULE PRIORITY STRUCTURE, IEEE transactions on software engineering, 21(7), 1995, pp. 605-614
Authors:
JAHANIAN F
MOK AK
Citation: F. Jahanian et Ak. Mok, MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS, IEEE transactions on software engineering, 20(12), 1994, pp. 933-947
Authors:
CHENG AMK
BROWNE JC
MOK AK
WANG RH
Citation: Amk. Cheng et al., ANALYSIS OF REAL-TIME RULE-BASED SYSTEMS WITH BEHAVIORAL CONSTRAINT ASSERTIONS SPECIFIED IN ESTELLA, IEEE transactions on software engineering, 19(9), 1993, pp. 863-885
Risultati:
1-8
|