Проверка и утверждение программ реального времени :  Пер. с англ. / 
 Verification and Validation of Real-Time Software 
[С. Болонья, У. Эренбергер, П. Пур-Вестерхейд и др.] ; Пер. А.А. Стукаленко ; Под ред. А.И. Никитина. 
 - Киев :  Наукова думка ,  1990. 
 - 216 с.  и ;  . ;  20 см. 
<br/><br/> ամբողջապես կամ մեկ օրացույցային տարվա ընթացքում հրատարակվող մենագրություն 1990  այլ  Авт. указаны перед вып. дан.  Библиогр.: с. 194-210 
<br/><br/><label>ISBN: </label>5-12-000381-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные системы реального времени - Программное обеспечение