June Kato is an author at NTT (Japan) specializing in formal verification, formal specification, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceFormal VerificationFormal SpecificationCompilersProtocolsVerificationSystem Software
Publications per year
1990–2011
3
3
Incremental specification in LOTOS
Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato · 1990 · 15 citations
Specification Language, Formal Specification, Engineering +7
Rows per page
1–3 of 3