In this issue

Papers published: 6

Total pages: 114

Unique views: 2725

Total views: 3156

open access

Go to issue

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

Download
Editorial
Formal Specifications of Computer-Based Systems - J.UCS Special Issue
Václav Dvořák, Miroslav Sveda, Charles Rattray, Jerzy Rozenblit
10.3217/jucs-009-11
 28-11-2003
 Unique: 439 | Total: 495  | Access Period:
 1258-1260
HTML
XML
PDF
Research Article
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
Doron Drusinsky, Man-Tak Shing
10.3217/jucs-009-11-1261
 28-11-2003
 Unique: 495 | Total: 604  | Access Period:
 1261-1276
HTML
XML
PDF
Research Article
Automatically Generated CSP Specifications
Frantisek Scuglik, Miroslav Sveda
10.3217/jucs-009-11-1277
 28-11-2003
 Unique: 446 | Total: 514  | Access Period:
 1277-1295
HTML
XML
PDF
Research Article
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
10.3217/jucs-009-11-1296
 28-11-2003
 Unique: 403 | Total: 461  | Access Period:
 1296-1321
HTML
XML
PDF
Research Article
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language
Cindy Kong, Perry Alexander, Catherine Menon
10.3217/jucs-009-11-1322
 28-11-2003
 Unique: 478 | Total: 545  | Access Period:
 1322-1349
HTML
XML
PDF
Research Article
An Information Flow Method to Detect Denial of Service Vulnerabilities
Stéphane Lafrance, John Mullins
10.3217/jucs-009-11-1350
 28-11-2003
 Unique: 464 | Total: 537  | Access Period:
 1350-1369
HTML
XML
PDF

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

OK