In this issue

Papers published: 5

Total pages: 135

Unique views: 4464

Total views: 5670

open access

Go to issue

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

Download
Applications of Formal Methods to System ...
Editorial
Applications of Formal Methods to System Design and Verification
Farhad Arbab, Marjan Sirjani
10.3217/jucs-013-13
 28-12-2007
 Unique: 804 | Total: 998
 1970-1971
HTML
XML
PDF
Hardware/Software Co-design and Verification ...
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: 871 | Total: 1121
 1972-2001
HTML
XML
PDF
Self-Evolving Petri Nets
Research Article
Self-Evolving Petri Nets
Lorenzo Capra, Walter Cazzola
10.3217/jucs-013-13-2002
 28-12-2007
 Unique: 847 | Total: 1050
 2002-2034
HTML
XML
PDF
From Theoretical e-Barter Models to Two ...
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: 999 | Total: 1311
 2035-2075
HTML
XML
PDF
Integrating Module Checking and Deduction ...
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: 943 | Total: 1190
 2076-2104
HTML
XML
PDF

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

OK