T. Saito is an author at Fujitsu (Japan) specializing in formal methods, software design, and formal verification.
Top concepts
EngineeringFormal MethodsSoftware DesignFormal VerificationComputer EngineeringElectronic Design AutomationDesignLogic DesignVerificationDigital Design
Publications per year
1979–1981
2
2
Design and Verification of Large-Scale Computers by Using DDL
Nobuaki Kawato, T. Saito, F. Maruyama et al. · 1979 · 15 citations
Hardware Modeling, Engineering, Hardware Verification Language +19
Rows per page
1–2 of 2