The following pages link to Angelo Gargantini (Q616855):
Displaying 10 items.
- A formal logic approach to constrained combinatorial testing (Q616856) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- The ASMETA approach to safety assurance of software systems (Q2117597) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- (Q2753715) (← links)
- (Q4413684) (← links)
- (Q4417839) (← links)
- Using Model Checking to Generate Fault Detecting Tests (Q5423870) (← links)
- A Logic-Based Approach to Combinatorial Testing with Constraints (Q5458811) (← links)
