In this issue

Papers published: 7

Total pages: 116

Printed version: Paperback

Unique views: 1306

Total views: 1529

open access

Go to issue

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

Download
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: 184 | Total: 224  | Access Period:
 1052-1053
HTML
XML
PDF
Research Article
Nondeterministic Admissible Interference
John Mullins
10.3217/jucs-006-11-1054
 28-11-2000
 Unique: 212 | Total: 246  | Access Period:
 1054-1070
HTML
XML
PDF
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: 170 | Total: 196  | Access Period:
 1071-1087
HTML
XML
PDF
Research Article
An Outline of PVS Semantics for UML Statecharts
Issa Traoré
10.3217/jucs-006-11-1088
 28-11-2000
 Unique: 187 | Total: 217  | Access Period:
 1088-1108
HTML
XML
PDF
Research Article
Modeling Information System Behavior with Dynamic Relations Nets
Laurent Allain, Pascal Yim
10.3217/jucs-006-11-1109
 28-11-2000
 Unique: 197 | Total: 225  | Access Period:
 1109-1130
HTML
XML
PDF
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: 157 | Total: 190  | Access Period:
 1131-1144
HTML
XML
PDF
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: 199 | Total: 231  | Access Period:
 1145-1163
HTML
XML
PDF

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

OK