The following pages link to Elvinia Riccobene (Q315282):
Displaying 13 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Proving invariants of I/O automata with TAME (Q1857285) (← links)
- The ASMETA approach to safety assurance of software systems (Q2117597) (← links)
- (Q2753710) (← links)
- (Q2753715) (← links)
- (Q2767182) (← links)
- (Q4288282) (← links)
- (Q4413681) (← links)
- (Q4413684) (← links)
- (Q4413689) (← links)
- (Q4417839) (← links)
- (Q4520535) (← links)
- (Q4878775) (← links)