Shin Nakajima
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fault localization of timed automata using maximum satisfiability | 2021-05-20 | Paper |
| Automatic transformation from formal specifications to functional scenario forms for automatic test case generation | 2011-04-11 | Paper |
| Data constraints for validation of real-time software | 2009-04-03 | Paper |
| scientific article; zbMATH DE number 1744964 (Why is no real title available?) | 2002-05-23 | Paper |
Research outcomes over time
This page was built for person: Shin Nakajima
