Dusan JOKANOVIC


Formal Specification and Verification of ISDN Services in LOTOS
Keiichirou YAMANO Dusan JOKANOVIC Tsuyoshi ANDO Masataka OHTA Kaoru TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/08/25
Vol. E75-B  No. 8  pp. 715-722
Type of Manuscript:  Special Section PAPER (Special Issue on the 4th Japan-Korea Joint Conference on Communications, Networks, Switching Systems and Satellite Communications (4th JC-CNSS))
Category: 
Keyword: 
LOTOSspecificationverificationswitching software
 Summary | Full Text:PDF

Fault Tolerant Processor Allocation in Hypercube Multiprocessors
Dusan JOKANOVIC Norio SHIRATORI Shoichi NOGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1991/10/25
Vol. E74-D  No. 10  pp. 3492-3505
Type of Manuscript:  PAPER
Category: Fault Tolerant Computing
Keyword: 
 Summary | Full Text:PDF

Dynamic Task Reconfiguration in the Faulty Hypercube Multiprocessor
Dusan JOKANOVIC Norio SHIRATORI Shoichi NOGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1991/02/25
Vol. E74-D  No. 2  pp. 435-446
Type of Manuscript:  PAPER
Category: Fault Tolerant Computing
Keyword: 
 Summary | Full Text:PDF