Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Modeling Fuzzy Behaviours in Concurrent Systems
2007 L. D'ERRICO; M. LORETI
Assume-Guarantee Verification of Concurrent Systems
2009 L. D'Errico; M. Loreti
A process Algebra Approach to Fuzzy Reasoning
2009 Liliana D'Errico; Michele Loreti
Property-Preserving Refinement of Concurrent Systems
2010 Liliana D'Errico; Michele Loreti
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Modeling Fuzzy Behaviours in Concurrent Systems | 2007 | L. D'ERRICO; M. LORETI | |
Assume-Guarantee Verification of Concurrent Systems | 2009 | L. D'Errico; M. Loreti | |
A process Algebra Approach to Fuzzy Reasoning | 2009 | Liliana D'Errico; Michele Loreti | |
Property-Preserving Refinement of Concurrent Systems | 2010 | Liliana D'Errico; Michele Loreti |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile