In this issue

Papers published: 7

Total pages: 116

Printed version: Paperback

Unique views: 1932

Total views: 2237

open access

Go to issue

« Previous
Issue 6(11)
 Next »
Issue No
from 0 to 30
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: 283 | Total: 334  | Access Period:
 1052-1053
HTML
XML
PDF
Research Article
Nondeterministic Admissible Interference
John Mullins
10.3217/jucs-006-11-1054
 28-11-2000
 Unique: 303 | Total: 349  | 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: 244 | Total: 285  | 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: 280 | Total: 319  | 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: 303 | Total: 343  | 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: 232 | Total: 274  | 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: 287 | Total: 333  | Access Period:
 1145-1163
HTML
XML
PDF

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

OK