The following pages link to Fernando Rubio (Q470034):
Displaying 23 items.
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- (Q1426874) (redirect page) (← links)
- Comparing parallel functional languages: Programming and performance (Q1426884) (← links)
- An integrated framework for the performance analysis of asynchronous communicating stochastic processes (Q1882804) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- Formal specification of multi-agent e-barter systems (Q2485279) (← links)
- (Q2763379) (← links)
- (Q3045843) (← links)
- (Q3046000) (← links)
- (Q3075204) (← links)
- A Formal Approach to Heuristically Test Restorable Systems (Q3393417) (← links)
- Introducing Debugging Capabilities to Natural Semantics (Q3401945) (← links)
- Using River Formation Dynamics to Design Heuristic Algorithms (Q3603413) (← links)
- (Q4409862) (← links)
- (Q4433998) (← links)
- (Q4460216) (← links)
- (Q4737551) (← links)
- (Q4817289) (← links)
- (Q4929334) (← links)
- Comparing Problem Solving Strategies for NP-hard Optimization Problems (Q5325974) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394048) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394049) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395102) (← links)
