769 search results - page 13 / 154 » The Real-Time Specification for Java |
IPPS
2000
IEEE
15 years 1 months ago
2000
IEEE
FM
1999
Springer
15 years 1 months ago
1999
Springer
RTCSA
1998
IEEE
15 years 1 months ago
1998
IEEE
HASE
1997
IEEE
15 years 1 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
MPC
1998
Springer
15 years 1 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...