The following pages link to Fernando Cuartero (Q557804):
Displayed 14 items.
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- A high performance tool for the simulation of the dynamic pantograph-catenary interaction (Q960369) (← links)
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- Item:Q557804 (redirect page) (← links)
- A process algebra for probabilistic and nondeterministic processes (Q1607111) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- (Q3045274) (← links)
- (Q3601873) (← links)
- A mathematical model of the static pantograph/catenary interaction (Q3603608) (← links)
- Timed processes of Timed Petri Nets (Q5096376) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464476) (← links)
- (Q5754515) (← links)