Hasuo, Ichiro books & textbook
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, ... Computer Science and General Issues)
Springer /2016-06-04 Paperback / 244 Pages
isbn-10: 3319403699 / isbn-13: 9783319403694
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems
Hasuo, Ichiro Ishikawa, Fuyuki
CRC Press /2025-05-13 Hardcover / 366 Pages
isbn-10: 0367554011 / isbn-13: 9780367554019
