Periodo de publicación recogido
|
|
|
On Optimization in Composition of Concurrent Formal Specifications
Bhed Bahadur Bista
IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 87, Nº 11, 2004, págs. 2905-2908
Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori
IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 85, Nº 11, 2002, págs. 2426-2435
A compositional approach for constructing communication services and protocols
Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori
IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 82, Nº. 11, 1999, págs. 2546-2557
Making changes in formal protocol specifications
Bhed Bahadur Bista, Kaoru Takahashi, Tetsuo Kinoshita
IEICE transactions on communications, ISSN 0916-8516, Vol. 80, Nº. 6, 1997, págs. 974-978
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados