Formal Methods: Foundations and Applications, 1st ed. 2016 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Programming and Software Engineering Series
Coordonnateurs : Ribeiro Leila, Lecomte Thierry
Date de parution : 11-2016
Ouvrage de 253 p.
15.5x23.5 cm
Thèmes de Formal Methods: Foundations and Applications :
Mots-clés :
automata theory; concurrent systems; model checking; program verification; timed automata; business process; computer-aided education; e-learning; educational robotics; formal methods; heuristics; logic; model refinement; modeling and simulation; rewriting logic; semantics; software creation and management; software validation; theory of security; UML