In this issue

Papers published: 6

Total pages: 144

Unique views: 4354

Total views: 5497

open access

Go to issue

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

Download
Tools for Parametric Verification. A ...
Research Article
Tools for Parametric Verification. A Comparison on a Case Study
Petr Matoušek
10.3217/jucs-010-10-1469
 28-10-2004
 Unique: 684 | Total: 906
 1469-1494
HTML
XML
PDF
Synchronization Can Improve Reactive ...
Research Article
Synchronization Can Improve Reactive Systems Control and Modularity
Cristina Seceleanu, Tiberiu Seceleanu
10.3217/jucs-010-10-1429
 28-10-2004
 Unique: 799 | Total: 973
 1429-1468
HTML
XML
PDF
Architectural Abstraction as Transformation ...
Research Article
Architectural Abstraction as Transformation of Poset Labelled Graphs
Mark Denford, Andrew Solomon, John Leaney, Tim Neill
10.3217/jucs-010-10-1408
 28-10-2004
 Unique: 806 | Total: 996
 1408-1428
HTML
XML
PDF
Platform Modeling and Model Transformations ...
Research Article
Platform Modeling and Model Transformations for Analysis
Tivadar Szemethy, Gabor Karsai
10.3217/jucs-010-10-1383
 28-10-2004
 Unique: 686 | Total: 833
 1383-1407
HTML
XML
PDF
A MOF-Based Metamodeling Environment
Research Article
A MOF-Based Metamodeling Environment
Matthew Emerson, Janos Sztipanovits, Ted Bapty
10.3217/jucs-010-10-1357
 28-10-2004
 Unique: 791 | Total: 1043
 1357-1382
HTML
XML
PDF
Formal Specification of Computer-Based ...
Editorial
Formal Specification of Computer-Based Systems
Miroslav Sveda, Charles Rattray, Jerzy Rozenblit
10.3217/jucs-010-10
 28-10-2004
 Unique: 588 | Total: 746
 1354-1356
HTML
XML
PDF

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

OK