Вы здесь

Shiratori N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ State Machine Specification with Reusability 2004 Itabashi G., Takahashi K., Kato Y., Suganuma T., Shiratori N. IEICE Trans. Fundamentals 19.01.2005
СТ A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method 1999 Go K., Shiratori N. IEEE Trans. on Software Engineering 17.07.1999
СТ Verification and Refinement for System Requirements 1995 Song K., Togashi A., Shiratori N. IEICE Trans. 10.04.1996
СТ Evaluation of Transmission Control Method in a Slotted Ring Network 1995 Teruya K., Shiratori N. IEICE Trans. 10.04.1996
СТ ProCSuS: A Meta System for Concurrent Process Calculi based on SOS 1995 Togashi A., Yoshida S., Kimura S., Shiratori N. Lecture Notes in Computer Science 19.05.1995
СТ A New Approach for Protocol Synthesis Based on LOTOS 1994 Bista B. B., Cheng Z., Togashi A., Shiratori N. IEICE Trans. 22.02.1995
СТ A Support Method for Specification Process Based on LTSs 1994 Yamamoto U., Togashi A., Shiratori N. IEICE Trans. 22.02.1995