Yasuaki Nakamura (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ICECCS 1998: 100-114

7 Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27

Selection of 2 from 32 records - Yasuaki Nakamura has 49 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

8		Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ICECCS 1998: 100-114
7		Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27