In this issue

Papers published: 7

Total pages: 112

Unique views: 6019

Total views: 7516

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
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: 830 | Total: 1010
 1052-1053
HTML
XML
PDF
Nondeterministic Admissible Interference
Research Article
Nondeterministic Admissible Interference
John Mullins
10.3217/jucs-006-11-1054
 28-11-2000
 Unique: 865 | Total: 1071
 1054-1070
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: 843 | Total: 1098
 1071-1087
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: 845 | Total: 1041
 1088-1108
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: 894 | Total: 1098
 1109-1130
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: 803 | Total: 1017
 1131-1144
HTML
XML
PDF
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: 939 | Total: 1181
 1145-1163
HTML
XML
PDF

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

OK