Difference between revisions of "Automated Testing through LTSmin"

From Master Projects
Jump to: navigation, search
(New page: {{Masterproject |Master name=Technical Artificial Intelligence |Student name=Kevin de Berk |Project start date=2013/05/06 |Project end date=2013/11/01 |Supervisor=Wan Fokkink |Second super...)
 
Line 5: Line 5:
 
|Project end date=2013/11/01
 
|Project end date=2013/11/01
 
|Supervisor=Wan Fokkink
 
|Supervisor=Wan Fokkink
|Second supervisor=Machiel van der Bijl
 
 
|Company=Axini
 
|Company=Axini
 
|Thesis title=Automated Testing through LTSmin
 
|Thesis title=Automated Testing through LTSmin

Revision as of 08:50, 14 May 2013


has title::Automated Testing through LTSmin
status: ongoing
Master: project within::Technical Artificial Intelligence
Student name: student name::Kevin de Berk
Dates
Start start date:=2013/05/06
End end date:=2013/11/01
Supervision
Supervisor: Wan Fokkink
Company: has company::Axini
Thesis: has thesis::Media:Thesis.pdf
Poster: has poster::Media:Posternaam.pdf

Signature supervisor



..................................

Abstract