Sciweavers

KBSE
2010
IEEE

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

13 years 10 months ago
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
Sylvain Hallé, Taylor Ettema, Chris Bunch,
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where KBSE
Authors Sylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan
Comments (0)