In this issue

Papers published: 5

Total pages: 138

Unique views: 2991

Total views: 3737

open access

Go to issue

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

Download
Applications ...
Editorial
Applications of Formal Methods to System Design and Verification
Farhad Arbab, Marjan Sirjani
10.3217/jucs-013-13
 28-12-2007
 Unique: 495 | Total: 594  | Access Period:
 1970-1971
HTML
XML
PDF
Hardware/Software ...
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: 634 | Total: 812  | Access Period:
 1972-2001
HTML
XML
PDF
Self-Evolving ...
Research Article
Self-Evolving Petri Nets
Lorenzo Capra, Walter Cazzola
10.3217/jucs-013-13-2002
 28-12-2007
 Unique: 573 | Total: 709  | Access Period:
 2002-2034
HTML
XML
PDF
From ...
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: 647 | Total: 805  | Access Period:
 2035-2075
HTML
XML
PDF
Integrating ...
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: 642 | Total: 817  | Access Period:
 2076-2104
HTML
XML
PDF

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

OK