Sfoglia per Rivista  SCIENCE OF COMPUTER PROGRAMMING

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 8 di 8
Titolo Anno di pubblicazione Autori Unitn File
Automated compositional importance splitting 1-gen-2019 Carlos E. Budde +
Choreographies in the wild 1-gen-2015 Zunino, Roberto +
Preface 1-gen-2008 Massacci, Fabio +
Safety Assessment of AltaRica Models via Symbolic Model Checking 1-gen-2015 Alessandro CimattiCristian MattareiSergio MoverMarco RoveriStefano Tonetta +
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 1-gen-2025 Goyal, SrajanGriggio, AlbertoTonetta, Stefano
A tag contract framework for modeling heterogeneous systems 1-gen-2016 Passerone, Roberto +
Verification of a safety-critical railway interlocking system with real-time constraints 1-gen-2000 Giunchiglia, Fausto +
Vicious circles in contracts and in logic 1-gen-2015 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