Difference between revisions of "Vanderson Hafemann"
From CERES
| Line 9: | Line 9: | ||
|Country=Sweden | |Country=Sweden | ||
|Office=E327 | |Office=E327 | ||
| − | |||
|url=http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann | |url=http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann | ||
}} | }} | ||
| Line 19: | Line 18: | ||
== Research Interests == | == Research Interests == | ||
* [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]] | * [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| Line 28: | Line 23: | ||
<!-- {{PublicationsList}} --> | <!-- {{PublicationsList}} --> | ||
| − | == | + | == Publications == |
* Featured Finite State Machines - Here is the [[Media:Proofs_FFSM.pdf|PDF]] with detailed proofs of FFSM properties from the paper. Here is the [[Media:Experiment_Pack.zip|link]] to the experiment package. | * Featured Finite State Machines - Here is the [[Media:Proofs_FFSM.pdf|PDF]] with detailed proofs of FFSM properties from the paper. Here is the [[Media:Experiment_Pack.zip|link]] to the experiment package. | ||
Revision as of 15:22, 29 April 2016
Vanderson Hafemann, Ph.D. Student, M.Sc.
Family Name: Hafemann Fragal
Given Name: Vanderson
Role: Ph.D. Student
Title: M.Sc.
Subject:
Organization:
Email: vanderson.hafemann@hh.se
url: http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann
Phone:
Cell Phone: +46-0729-773621
Research Interests
Projects:
