Systematic analysis of control panel interfaces using formal tools

J. C. Campos and M. D. Harrison
In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 72-85. Springer-Verlag. 2008.

  visit publisher

@InProceedings{CamposH:08a,
 author = {J. C. Campos and M. D. Harrison},
 title = {Systematic analysis of control panel interfaces using formal tools},
 booktitle = {XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008)},
 series = {Lecture Notes in Computer Science},
 publisher = {Springer-Verlag},
 month = {July},
 year = {2008},
 number = {5136},
 pages ={72-85},
 doi = {10.1007/978-3-540-70569-7_6}
}

Generated by mkBiblio 2.6.11