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

RALE: An Environment for Simulation and Transformations

2007 ◽  
pp. 265-284
Author(s):  
Miquel Bertran ◽  
Miquel Nicolau ◽  
Francesc Oller ◽  
Jordi Forga Felipe Alvarez-Cuevas ◽  
Albert Duran ◽  
...  

Modeling and Proving Grafcets with Transition Systems

2007 ◽  
pp. 77-96 ◽  
Author(s):  
D. L'her ◽  
P. Le Parc ◽  
L. Marcé
Keyword(s):  
Transition Systems

scholarly journals Algebraic Implementation of Model Checking Algorithms

2007 ◽  
pp. 309-327
Author(s):  
Theodor Rus ◽  
Erick Van Wyk
Keyword(s):  
Model Checking

Beyond the Verification Approach: The Synthesis Approach

2007 ◽  
pp. 197-218
Author(s):  
Michel Barbeau ◽  
Richard St-Denis
Keyword(s):  
Synthesis Approach

A Model of Probabilistic Processes

2007 ◽  
pp. 57-76
Author(s):  
Fernando Cuartero ◽  
Valentín Valero ◽  
David de Frutos
Keyword(s):  
Probabilistic Processes

A Discrete Model for Real-Time Environments

2007 ◽  
pp. 3-24
Author(s):  
Dan Ionescu ◽  
Cristian Lambiri
Keyword(s):  
Real Time ◽  
Discrete Model

scholarly journals Focus Points and Convergent Process Operators

2007 ◽  
pp. 97-133
Author(s):  
Jan Friso Groote ◽  
Jan Springintveld
Load More ...
Sign in / Sign up

Export Citation Format

Share Document