In this issue

Papers published: 6

Total pages: 112

Unique views: 5262

Total views: 6613

open access

Go to issue

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

Download
Formal Specifications of Computer-Based ...
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: 829 | Total: 1017
 1258-1260
HTML
XML
PDF
Monitoring Temporal Logic Specifications ...
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: 950 | Total: 1259
 1261-1276
HTML
XML
PDF
Automatically Generated CSP Specifications
Research Article
Automatically Generated CSP Specifications
Frantisek Scuglik, Miroslav Sveda
10.3217/jucs-009-11-1277
 28-11-2003
 Unique: 852 | Total: 1046
 1277-1295
HTML
XML
PDF
On the Use of Graph Transformation in ...
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: 864 | Total: 1096
 1296-1321
HTML
XML
PDF
Defining a Formal Coalgebraic Semantics ...
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: 896 | Total: 1086
 1322-1349
HTML
XML
PDF
An Information Flow Method to Detect ...
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: 871 | Total: 1109
 1350-1369
HTML
XML
PDF

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

OK