AMAST Series in Computing - Real-Time Systems
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810244248, 9789812708472

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Algebraic Framework for the Feature Interaction Problem

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0020 ◽

2007 ◽

pp. 441-456

Author(s):

Mohammed Faci ◽

Luigi Logrippo

Keyword(s):

Feature Interaction ◽

Algebraic Framework ◽

Interaction Problem

Download Full-text

RALE: An Environment for Simulation and Transformations

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0012 ◽

2007 ◽

pp. 265-284

Author(s):

Miquel Bertran ◽

Miquel Nicolau ◽

Francesc Oller ◽

Jordi Forga Felipe Alvarez-Cuevas ◽

Albert Duran ◽

...

Download Full-text

Compositional Model for Formal Development of Real-Time Systems Design

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0011 ◽

2007 ◽

pp. 237-261

Author(s):

F. Vazquez ◽

S. Rotenstreich

Keyword(s):

Real Time ◽

Systems Design ◽

Real Time Systems ◽

Compositional Model ◽

Formal Development ◽

Time Systems

Download Full-text

Modeling and Proving Grafcets with Transition Systems

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0004 ◽

2007 ◽

pp. 77-96 ◽

Cited By ~ 1

Author(s):

D. L'her ◽

P. Le Parc ◽

L. Marcé

Keyword(s):

Transition Systems

Download Full-text

Algebraic Implementation of Model Checking Algorithms

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0014 ◽

2007 ◽

pp. 309-327

Author(s):

Theodor Rus ◽

Erick Van Wyk

Keyword(s):

Model Checking

Download Full-text

Focus Points and Convergent Process Operators

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0005 ◽

2007 ◽

pp. 97-133

Author(s):

Jan Friso Groote ◽

Jan Springintveld

Download Full-text

Beyond the Verification Approach: The Synthesis Approach

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0009 ◽

2007 ◽

pp. 197-218

Author(s):

Michel Barbeau ◽

Richard St-Denis

Keyword(s):

Synthesis Approach

Download Full-text

A Model of Probabilistic Processes

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0003 ◽

2007 ◽

pp. 57-76

Author(s):

Fernando Cuartero ◽

Valentín Valero ◽

David de Frutos

Keyword(s):

Probabilistic Processes

Download Full-text

A Discrete Model for Real-Time Environments

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0001 ◽

2007 ◽

pp. 3-24

Author(s):

Dan Ionescu ◽

Cristian Lambiri

Keyword(s):

Real Time ◽

Discrete Model

Download Full-text

A Three-Level Analysis of a Simple Acceleration Maneuver, with Uncertainties

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0016 ◽

2007 ◽

pp. 345-373 ◽

Cited By ~ 2

Author(s):

Nancy Lynch

Keyword(s):

Level Analysis

Download Full-text