Content of Issue 13
DOI: 10.3217/jucs-013-13
|
Applications of Formal Methods to System Design and Verification |
F. Arbab, M. Sirjani |
1970 |
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph |
S. Sasaki, T. Nishihara, D. Ando, M. Fujita |
1972 |
Self-Evolving Petri Nets |
L. Capra, W. Cazzola |
2002 |
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices |
M. Bravetti, A. Casalboni, M. Núñez, I. Rodriguez |
2035 |
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP) |
H. Hojjat, H. Nakhost, M. Sirjani |
2076 |
|