| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 3 |      | Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi: Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Transactions 95-D(5): 1342-1354 (2012) |
| 1999 | ||
| 2 |  | John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe: Should UML Have a Single Semantics? Should UML Have a Single Core Semantics? ECOOP Workshops 1999: 41-44 |
| 1 | | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida: Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods 1999: 1644-1663 |
| 1 | Yasuhito Arimoto | [3] |
| 2 | Razvan Diaconescu | [1] |
| 3 | Kokichi Futatsugi | [1] [3] |
| 4 | John Howse | [2] |
| 5 | Richard Mitchell | [2] |
| 6 | Bernhard Rumpe | [2] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page