From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Verification Method for LOTOS Specifications and its Application.

N. Shiratori, H. Kaminaga, K. Takahashi, и S. Noguchi. PSTV, стр. 59-70. North-Holland, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kaoru Onodera

Teruaki Takahashi

Kaoru Tachikawa

Kaoru Yamaguchi

Kaoru Matsumoto

Другие публикации лиц с тем же именем

Specification and Analysis of the Contract Net Protocol Based on State Machine Model.G. Itabashi, Y. Haramoto, Y. Kato, K. Takahashi, и N. Shiratori. IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2447-2452 (2002)On a Concurrency Calculus for Design of Mobile Telecommunication Systems.T. Ando, K. Takahashi, и Y. Kato. FORTE, том 107 из IFIP Conference Proceedings, стр. 535-546. Chapman & Hall, (1997)An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation.K. Sarashina, T. Ando, K. Takahashi, M. Ohta, и Y. Tokita. FORTE, том C-22 из IFIP Transactions, стр. 205-218. North-Holland, (1993)A Verification Method for LOTOS Specifications and its Application.N. Shiratori, H. Kaminaga, K. Takahashi, и S. Noguchi. PSTV, стр. 59-70. North-Holland, (1989)Modeling Web Applications Design with Automata and Its Verification.K. Homma, S. Izumi, K. Takahashi, и A. Togashi. ISADS, стр. 103-112. IEEE Computer Society, (2011)Using the Model Checker Spin for Web Application Design.K. Homma, S. Izumi, Y. Abe, K. Takahashi, и A. Togashi. SAINT, стр. 137-140. IEEE Computer Society, (2010)Incremental Design of a State Machine Specification for Mobile and Real-Time Systems .G. Itabashi, K. Takahashi, Y. Kato, T. Sugamma, и N. Shiratori. AINA, стр. 99-104. IEEE Computer Society, (2005)A flexible protocol synthesis method for adopting requirement changes.B. Bista, K. Takahashi, H. Kaminaga, и N. Shiratori. ICPADS, стр. 319-326. IEEE Computer Society, (1996)Using Artificial Intelligence in Communication System Design.N. Shiratori, K. Takahashi, K. Sugawara, и T. Kinoshita. IEEE Softw., 9 (1): 38-46 (1992)Composition method of communication system specifications in asynchronous model and its support system.N. Maneerat, R. Varakulsiripunth, D. Seki, K. Yoshida, K. Takahashi, Y. Kato, B. Bista, и N. Shiratori. ICON, стр. 64-69. IEEE, (2001)

BibSonomy

Disambiguation