In this issue

Papers published: 6

Total pages: 114

Printed version: Paperback

Unique views: 1863

Total views: 2172

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: 288 | Total: 325  | 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: 351 | Total: 438  | 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: 308 | Total: 354  | 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: 257 | Total: 300  | 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: 332 | Total: 376  | 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: 327 | Total: 379  | Access Period:
 1350-1369
HTML
XML
PDF

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

OK