TY -
GEN
AU - Simão, Adenilso
AU - Morgan, Carroll
TI -
Formal Methods, Foundations and Applications
14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
PB - Springer Berlin Heidelberg
SN - 9783642250323
KW - Logic design
KW - Information Systems
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Compilers (Computer programs).
KW - Computer programming.
KW - Machine theory.
KW - Electronic data processing
KW - Paperback / softback
KW - Research
KW - fault tolerance
KW - model-driven engineering
KW - optimization
KW - theorem proving
KW - verification
KW - Konferenzschrift 2011 São Paulo
KW - Formale Methode
KW - Verifikation
KW - Softwaretest
KW - Modellgetriebene Entwicklung
KW - Fehlertoleranz
PY - 2011
BT - Lecture Notes in Computer Science ; 7021
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -