Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /

This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in thi...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Barkaoui, Kamel (Επιμελητής έκδοσης), Boucheneb, Hanifa (Επιμελητής έκδοσης), Mili, Ali (Επιμελητής έκδοσης), Tahar, Sofiène (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:Lecture Notes in Computer Science, 10466
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation
  •  Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation
  • Control methods
  • Modeling methodologies
  • Model development and analysis
  • Modeling and simulation.- Formal mehods.