In this issue

Papers published: 7

Total pages: 116

Unique views: 5387

Total views: 6680

open access

Go to issue

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

Download
A Survey of Formal Methods Applied to ...
Research Article
A Survey of Formal Methods Applied to Leader Election in IEEE 1394
Savi Maharaj, Carron Shankland
10.3217/jucs-006-11-1145
 28-11-2000
 Unique: 831 | Total: 1026
 1145-1163
HTML
XML
PDF
Towards Two-Level Formal Modeling of ...
Research Article
Towards Two-Level Formal Modeling of Computer-Based Systems
Gabor Karsai, Greg Nordstrom, Akos Ledeczi, Janos Sztipanovits
10.3217/jucs-006-11-1131
 28-11-2000
 Unique: 696 | Total: 875
 1131-1144
HTML
XML
PDF
Modeling Information System Behavior ...
Research Article
Modeling Information System Behavior with Dynamic Relations Nets
Laurent Allain, Pascal Yim
10.3217/jucs-006-11-1109
 28-11-2000
 Unique: 809 | Total: 981
 1109-1130
HTML
XML
PDF
An Outline of PVS Semantics for UML Statecharts
Research Article
An Outline of PVS Semantics for UML Statecharts
Issa Traoré
10.3217/jucs-006-11-1088
 28-11-2000
 Unique: 764 | Total: 944
 1088-1108
HTML
XML
PDF
Use of E-LOTOS in Adding Formality to ...
Research Article
Use of E-LOTOS in Adding Formality to UML
Robert Clark, Ana Moreira
10.3217/jucs-006-11-1071
 28-11-2000
 Unique: 746 | Total: 975
 1071-1087
HTML
XML
PDF
Nondeterministic Admissible Interference
Research Article
Nondeterministic Admissible Interference
John Mullins
10.3217/jucs-006-11-1054
 28-11-2000
 Unique: 794 | Total: 974
 1054-1070
HTML
XML
PDF
J.UCS Special Issue on Formal Specifications ...
Editorial
J.UCS Special Issue on Formal Specifications of Computer-Based Systems
Václav Dvořák
10.3217/jucs-006-11
 28-11-2000
 Unique: 747 | Total: 905
 1052-1053
HTML
XML
PDF

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

OK