MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Specifying Requirements for Real-Time Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Specification and Analysis of Real-Time  
  • by Systems In Statecharts, Sung Deok Cha, Hyoung Seok Hong
  • … in Statecharts. In this paper, we present a framework for specifying requirements of real-time systems…
  • Add To MetaCart
  • Systems  
  • by Dimitar P. Guelev — Logical Methods in Computer Science
  • … of probabilistic DC with respect to real-time semantics. The proposed systems subsume probabilistic real-time DC…
  • Cited by 1 (1 self) – Add To MetaCart
  • Projections: Verifying Real-Time Programs in Duration Calculus  
  • by Dan Van Hung — 1999 — Published in the proceedings of the Conference on Information Technology and education, Ho Chi Minh city
  • … the requirements for real-time systems. DC has been proved to be a powerful and simple logic for reasoning about…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB