Sciweavers

1661 search results - page 9 / 333
» Real-time specification patterns
Sort
View
IJCAI
1993
14 years 11 months ago
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...
COMPUTER
2000
49views more  COMPUTER 2000»
14 years 9 months ago
The Real-Time Specification for Java
Gregory Bollella, James Gosling
JCST
2002
69views more  JCST 2002»
14 years 9 months ago
Requirements Specifications Checking of Embedded Real-Time Software
Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen