Search results for: Yoshinori Tanabe
Software Testing, Verification and Reliability > 30 > 7-8 > n/a - n/a
Radiological Physics and Technology > 2017 > 10 > 1 > 91-94
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 277-291
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 518-527
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Case Studies > 115-129
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 350-365
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Verification and Validation > 90-101
IEEE Transactions on Software Engineering > 2014 > 40 > 5 > 483 - 501
Journal of Electrocardiology > 1996 > 29 > 4 > 341-345