RUIdeRA

Search

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 2 out of a total of 2 results for community: Departamento de Sistemas Informáticos. (0.076 seconds)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

An Intelligent Transportation System to control air pollution and road traffic in cities ntegrating CEP and Colored Petri Nets

Díaz, Gregorio; Macià, Hermenegilda; Valero , Valentín; Boubeta-Puig, Juan; Cuartero , Fernando (Springer, 2018-11)
Strong Behavioral Similarities in Timed-Arc Petri Nets

Valero, Valentín (Elsevier, 2018-09-15)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of DSpace
This Community
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Discover

Author
Subject
- Formal methods (2)
- Complex Event Processing (1)
- Event processing languages (1)
- Intelligent control systems (1)
- Petri Nets (1)
- Reachability graphs (1)
- Similarities (1)
- Timed-arc Petri nets (1)
- ... View More
Date Issued
- 2018 (2)