Quantitative Evaluation of Systems
-15%
portes grátis
Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Bortolussi, Luca; Bertrand, Nathalie
Springer International Publishing AG
08/2017
370
Mole
Inglês
9783319663340
15 a 20 dias
5796
Descrição não disponível.
Probabilistic modeling.- Smart energy systems over the cloud.- Petri nets and performance modeling.- Parametric verification.- Machine learning and formal methods.- Tools.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;model checking;modeling and simulation;optimization;stochastic simulation;bayesian interence;communication networks;formal languages;input modeling;markov processes;mobile clous computing;network calculus;nondeterminism;parameter synthesis;performance;probabilistic programs;security modeling;smart grid;stochastic petri net;verification
Probabilistic modeling.- Smart energy systems over the cloud.- Petri nets and performance modeling.- Parametric verification.- Machine learning and formal methods.- Tools.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;model checking;modeling and simulation;optimization;stochastic simulation;bayesian interence;communication networks;formal languages;input modeling;markov processes;mobile clous computing;network calculus;nondeterminism;parameter synthesis;performance;probabilistic programs;security modeling;smart grid;stochastic petri net;verification
