Travelled to:1 × Austria
1 × Poland
Collaborated with:B.Bordbar K.Hanada S.Kusumoto K.Miyazawa
Talks about:translat (1) skeleton (1) freeness (1) deadlock (1) approach (1) practic (1) system (1) formal (1) applic (1) annot (1)
Person: Kozo Okano
DBLP: Okano:Kozo
Contributed to:
2012
2004Wrote 2 papers:
- ICEIS-v2-2012-HanadaOKM #java #ml #ocl #uml
- Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
- FATES-2004-BordbarO #approach #formal method #realtime #testing
- Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach (BB, KO), pp. 95–109.