In this issue

Papers published: 6

Total pages: 114

Unique views: 3513

Total views: 4261

open access

Go to issue

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

Download
Formal ...
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: 567 | Total: 674  | Access Period:
 1258-1260
HTML
XML
PDF
Monitoring ...
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: 643 | Total: 800  | Access Period:
 1261-1276
HTML
XML
PDF
Automatically ...
Research Article
Automatically Generated CSP Specifications
Frantisek Scuglik, Miroslav Sveda
10.3217/jucs-009-11-1277
 28-11-2003
 Unique: 584 | Total: 712  | Access Period:
 1277-1295
HTML
XML
PDF
On ...
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: 528 | Total: 638  | Access Period:
 1296-1321
HTML
XML
PDF
Defining ...
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: 598 | Total: 720  | Access Period:
 1322-1349
HTML
XML
PDF
An ...
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: 593 | Total: 717  | Access Period:
 1350-1369
HTML
XML
PDF

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

OK