Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 13 of 15 found articles
 
 
  Modeling and verification of real-time embedded systems with urgency
 
 
Title: Modeling and verification of real-time embedded systems with urgency
Author: Hsiung, Pao-Ann
Lin, Shang-Wei
Chen, Yean-Ru
Huang, Chun-Hsian
Shih, Chihhsiong
Chu, William C.
Appeared in: Journal of systems and software
Paging: Volume 82 (2009) nr. 10 pages 15 p.
Year: 2009
Contents:
Publisher: Elsevier Inc.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 13 of 15 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands