SPecTEC : Specification tools for embedded software components (Poster)

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

Research output: Contribution to conference › Poster

Original language	English
Publication status	Published - 2005
Event	2005 Symposium on Verification and validation of software systems (VVSS 2005) - Eindhoven, Netherlands Duration: 24 Nov 2005 → 24 Nov 2005

Conference	2005 Symposium on Verification and validation of software systems (VVSS 2005)
Abbreviated title	VVSS 2005
Country/Territory	Netherlands
City	Eindhoven
Period	24/11/05 → 24/11/05
Other	‘ Where innovations in te sting are presented’

Cite this

@conference{ca59fb03919b45f2a191dd1c38333c95,

title = "SPecTEC : Specification tools for embedded software components (Poster)",

author = "R. Kuiper and J.C.M. Baeten and E.J. Luit",

year = "2005",

language = "English",

note = "2005 Symposium on Verification and validation of software systems (VVSS 2005), VVSS 2005 ; Conference date: 24-11-2005 Through 24-11-2005",

}