Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
• Edizione: 1st ed. 2019.
• Descrizione fisica: 1 online resource (XI, 361 p. 595 illus., 55 illus. in color.)
• Disciplina: 004.24; 004.25
• Soggetto topico: Computer science; Software engineering; Artificial intelligence; Computer science—Mathematics; Mathematical statistics; Machine theory; Algorithms; Computer Science Logic and Foundations of Programming; Software Engineering; Artificial Intelligence; Probability and Statistics in Computer Science; Formal Languages and Automata Theory
• Persona (resp. second.): ParkerDavid; WolfVerena
• Nota di contenuto: Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools.
• Sommario/riassunto: This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.
• Titolo autorizzato: Quantitative Evaluation of Systems
• ISBN: 3-030-30281-4
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910349299203321
• Lo trovi qui: Univ. Federico II
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 11785