In this issue

Papers published: 7

Total pages: 116

Unique views: 2847

Total views: 3357

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: 407 | Total: 474  | Access Period:
 1052-1053
HTML
XML
PDF
Research Article
Nondeterministic Admissible Interference
John Mullins
10.3217/jucs-006-11-1054
 28-11-2000
 Unique: 447 | Total: 524  | 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: 386 | Total: 502  | 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: 407 | Total: 474  | 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: 416 | Total: 476  | 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: 351 | Total: 409  | 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: 433 | Total: 498  | Access Period:
 1145-1163
HTML
XML
PDF

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

OK