Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
-
- 48,99 €
-
- 48,99 €
Description de l’éditeur
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
GENRE
Informatique et Internet
SORTIE
2018
19 novembre
LANGUE
EN
Anglais
LONGUEUR
281
Pages
ÉDITIONS
Springer International Publishing
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
6,5
Mo