In this issue

Papers published: 5

Total pages: 138

Printed version: Paperback

open access

Go to issue

« Previous
Issue 13(13)
 Next »
Issue No
from 0 to 29
Number No
JUCS - Journal of Universal Computer Science 13(13) (2007)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
Applications of Formal Methods to System Design and Verification
Farhad Arbab, Marjan Sirjani
10.3217/jucs-013-13
 28-12-2007
 Unique: 150 | Total: 172  | Access Period:
 1970-1971
HTML
XML
PDF
Research Article
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph
Shunsuke Sasaki, Tasuku Nishihara, Daisuke Ando, Masahiro Fujita
10.3217/jucs-013-13-1972
 28-12-2007
 Unique: 198 | Total: 258  | Access Period:
 1972-2001
HTML
XML
PDF
Research Article
Self-Evolving Petri Nets
Lorenzo Capra, Walter Cazzola
10.3217/jucs-013-13-2002
 28-12-2007
 Unique: 165 | Total: 199  | Access Period:
 2002-2034
HTML
XML
PDF
Research Article
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices
Mario Bravetti, Adalberto Casalboni,     Manuel Núñez,     Ismael Rodriguez
10.3217/jucs-013-13-2035
 28-12-2007
 Unique: 205 | Total: 256  | Access Period:
 2035-2075
HTML
XML
PDF
Research Article
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
10.3217/jucs-013-13-2076
 28-12-2007
 Unique: 187 | Total: 260  | Access Period:
 2076-2104
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK