Sfoglia per Rivista SCIENCE OF COMPUTER PROGRAMMING
Mostrati risultati da 1 a 8 di 8
Automated compositional importance splitting
2019-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hartmanns, Arnd
Choreographies in the wild
2015-01-01 Bartoletti, M.; Lange, J.; Scalas, A.; Zunino, Roberto
Preface
2008-01-01 Massacci, Fabio; F., Piessens; S., Mauw
Safety Assessment of AltaRica Models via Symbolic Model Checking
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Lisagor, Oleg; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
2025-01-01 Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano
A tag contract framework for modeling heterogeneous systems
2016-01-01 Le, Thi Thieu Hoa; Passerone, Roberto; Fahrenberg, Uli; Legay, Axel
Verification of a safety-critical railway interlocking system with real-time constraints
2000-01-01 V., Hartonas garmhausen; S. V., Aguiar Campos; A., Cimatti; E. M., Clarke; Giunchiglia, Fausto
Vicious circles in contracts and in logic
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto
Mostrati risultati da 1 a 8 di 8
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