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
Country/TerritoryNetherlands
CityEindhoven
Period24/11/0524/11/05
Other
Where innovations in te
sting are presented’

Cite this