Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13

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