Formal Modeling and Analysis of Timed Systems
portes grátis
Formal Modeling and Analysis of Timed Systems
20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
Bogomolov, Sergiy; Parker, David
Springer International Publishing AG
08/2022
307
Mole
Inglês
9783031158384
15 a 20 dias
498
Descrição não disponível.
Invited Papers.- Probabilistic and Timed Systems.- Temporal Logic.- Timed Automata and Games.- Neural Networks.- Reinforcement Learning.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;automata theory;computer hardware;computer networks;computer programming;computer science;computer systems;embedded systems;engineering;formal languages;linguistics;mathematics;model checking;signal processing;software architecture;software design;software engineering;theoretical computer science
Invited Papers.- Probabilistic and Timed Systems.- Temporal Logic.- Timed Automata and Games.- Neural Networks.- Reinforcement Learning.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;automata theory;computer hardware;computer networks;computer programming;computer science;computer systems;embedded systems;engineering;formal languages;linguistics;mathematics;model checking;signal processing;software architecture;software design;software engineering;theoretical computer science
