Tags
Language
Tags
<<
December 2024
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, P

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, P

Posted By: roxul
Date: 10 Apr 2024 03:33:51
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, P

Haniel Barbosa, "Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, P"
English | ISBN: 3031493419 | 2024 | 176 pages | PDF | 6 MB

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.
The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
UPWARDS