Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yutaka Matsuno
A New Method for Writing Assurance Cases
International Journal of Secure Software Engineering
Related publications
On a New Method of Writing Crystallographic Formulæ
Geological Magazine
Geology
New Paradigms for High Assurance Software
Figure 1: Argument Structure of Assurance Cases.
Two Cases of Successful Operation for Extrophy of the Bladder by a New Method
BMJ
The Milan Project: A New Method for High-Assurance and High-Performance Computing on Large-Scale Distributed Platforms
Assurance Cases for Design Analysis of Complex System of Systems Software
Evaluating Combined Assurance as a New Credibility Enhancement Technique
Auditing
Accounting
Economics
Econometrics
Finance
Partnerships for Publishing: A New Look at Joint Writing Projects
The Journal of Aviation/Aerospace Education and Research
Isabelle/Sacm: Computer-Assisted Assurance Cases With Integrated Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
