SPecTEC : Specification tools for embedded software components (Poster)

R. Kuiper, J.C.M. Baeten, E.J. Luit

Research output: Contribution to conferencePosterAcademic

Original languageEnglish
Publication statusPublished - 2005
Event2005 Symposium on Verification and validation of software systems (VVSS 2005) - Eindhoven, Netherlands
Duration: 24 Nov 200524 Nov 2005

Conference

Conference2005 Symposium on Verification and validation of software systems (VVSS 2005)
Abbreviated titleVVSS 2005
CountryNetherlands
CityEindhoven
Period24/11/0524/11/05
Other
Where innovations in te
sting are presented’

Cite this

Kuiper, R., Baeten, J. C. M., & Luit, E. J. (2005). SPecTEC : Specification tools for embedded software components (Poster). Poster session presented at 2005 Symposium on Verification and validation of software systems (VVSS 2005), Eindhoven, Netherlands.