Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (11)
Auteur
- Sharygina, Natasha (3)
- Bruttomesso, Roberto (2)
- Tonetta, Stefano (2)
- Tsitovich, Aliaksei (2)
- Alberti, Francesco (1)
- Barta, János (1)
- Benavoli, Alessio (1)
- Cadoni, Ezio (1)
- Colombo, Gianluca (1)
- Corani, Giorgio (1)
- Farsi, Mehdi (1)
- Ghilardi, Silvio (1)
- Hensher, David (1)
- Krause, Rolf (1)
- Kreienbuehl, Andreas (1)
- Kroening, Daniel (1)
- Masiero, Lorenzo (1)
- Meda, Alberto (1)
- Mollona, Edoardo (1)
- Montemanni, Roberto (1)
- Naegel, Arne (1)
- Plizzari, Giovanni (1)
- Ranise, Silvio (1)
- Rollini, Simone (1)
- Ruprecht, Daniel (1)
- Sebastiani, Roberto (1)
- Singerman, Eli (1)
- Speck, Robert (1)
- Vardi, Moshe (1)
- Wintersteiger, Christoph (1) Plus Moins
Domaine
Mot clé
- AG : Assertion Graph (1)
- Array programs (1)
- BA : Büchi Automaton (1)
- Bayesian hypothesis tests (1)
- Cost efficiency (1)
- Craig interpolation (1)
- Cross-validation (1)
- Dynamic tests (1)
- Evaluation of classifiers (1)
- FG : Fair Graph (1)
- FRC (1)
- Formal verification (1)
- Freight choice (1)
- GSTE (1)
- GSTE : Generalized STE (1)
- Gains and losses (1)
- General hospitals (1)
- High performance concrete (1)
- High strain-rate (1)
- Hypothesis test (1)
- Lazy abstraction (1)
- Load balancing (1)
- Loop invariants (1)
- Loop summarization (1)
- MC : Model Checking (1)
- Minimum power multicasting (1)
- Mixed models (1)
- Model checking (1)
- Multihop networks (1)
- Parareal (1) Plus Moins