Revision as of 15:19, 29 April 2016

Vanderson Hafemann Fragal

Contents

• 1 Vanderson Hafemann, Ph.D. Student, M.Sc.
  • 1.1 Research Interests
  • 1.2 Publications
  • 1.3 Paper Submission Info

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

• Model-Based Testing and Verification

Publications

Projects: 

Paper Submission Info

• Featured Finite State Machines - Here is the PDF with detailed proofs of FFSM properties from the paper. Here is the link to the experiment package.