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 45 of 240 found articles
 
 
  A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220
 
 
Title: A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220
Author: Fecko, M.A.
Uyar, M.Ü.
Amer, P.D.
Sethi, A.S.
Dzik, T.
Menell, R.
McMahon, M.
Appeared in: Computer communications
Paging: Volume 23 (2000) nr. 12 pages 18 p.
Year: 2000
Contents:
Publisher: Elsevier Science B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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