Concepedia

Taylor Ettema

TE

1

Publications

57

Citations

1

H-Index

2010

Active since

Affiliations

Université du Québec à Chicoutimi(Current)

Taylor Ettema is an author at Université du Québec à Chicoutimi specializing in data security, information security, and formal verification.

Top concepts

EngineeringVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware SecurityFormal Verification

Publications per year

2010–2010

1

Publications

1

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

Sylvain Hallé, Taylor Ettema, Chris Bunch et al. · 2010 · 57 citations

Navigation Errors, Engineering, Information Security +20

Rows per page

1–1 of 1