In this issue

Papers published: 6

Total pages: 114

Printed version: Paperback

Unique views: 1916

Total views: 2235

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: 301 | Total: 339  | 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: 355 | Total: 444  | 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: 320 | Total: 366  | 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: 263 | Total: 309  | 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: 338 | Total: 386  | 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: 339 | Total: 391  | Access Period:
 1350-1369
HTML
XML
PDF

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

OK