D'ERRICO, LILIANA
D'ERRICO, LILIANA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.002 secondi).
A process Algebra Approach to Fuzzy Reasoning
2009 Liliana D'Errico; Michele Loreti
Assume-Guarantee Verification of Concurrent Systems
2009 L. D'Errico; M. Loreti
Modeling Fuzzy Behaviours in Concurrent Systems
2007 L. D'ERRICO; M. LORETI
Property-Preserving Refinement of Concurrent Systems
2010 Liliana D'Errico; Michele Loreti
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A process Algebra Approach to Fuzzy Reasoning | 2009 | Liliana D'Errico; Michele Loreti | |
Assume-Guarantee Verification of Concurrent Systems | 2009 | L. D'Errico; M. Loreti | |
Modeling Fuzzy Behaviours in Concurrent Systems | 2007 | L. D'ERRICO; M. LORETI | |
Property-Preserving Refinement of Concurrent Systems | 2010 | Liliana D'Errico; Michele Loreti |