Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 11 di 11
Titolo Anno di pubblicazione Autori Unitn File
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata 1-gen-2010 Le, Hoa Thi ThieuPalopoli, LuigiPasserone, RobertoRamadian, Yusi
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic 1-gen-2010 Le, Thi Thieu Hoa
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 1-gen-2010 Le, Thi Thieu HoaPalopoli, LuigiPasserone, RobertoRamadian, YusiCimatti, Alessandro
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 1-gen-2011 Griggio, AlbertoLe, Thi Thieu HoaSebastiani, Roberto
An Operational Contract Framework for Heterogeneous Systems 1-gen-2012 Passerone, RobertoLe, Thi Thieu Hoa +
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 1-gen-2012 Griggio, AlbertoLe, Thi Thieu HoaSebastiani, Roberto
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study 1-gen-2013 Le, Thi Thieu HoaPalopoli, LuigiPasserone, Roberto +
A Tag Contract Framework for Heterogeneous Systems 1-gen-2013 Le, Thi Thieu HoaPasserone, Roberto +
Tag Machines for Modeling Heterogeneous Systems 1-gen-2013 Le, Thi Thieu HoaPasserone, Roberto +
A Tag Contract Framework for Modeling Heterogeneous Systems 1-gen-2014 Le, Thi Thieu Hoa
Refinement-based Synthesis of Correct Contract Model Decompositions 1-gen-2014 Le, Thi Thieu HoaPasserone, Roberto
Mostrati risultati da 1 a 11 di 11
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