SPecTEC : Specification tools for embedded software components (Poster)

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

Onderzoeksoutput: Bijdrage aan congresPosterAcademic

Originele taal-2Engels
StatusGepubliceerd - 2005
Evenement2005 Symposium on Verification and validation of software systems (VVSS 2005) - Eindhoven, Nederland
Duur: 24 nov 200524 nov 2005

Congres

Congres2005 Symposium on Verification and validation of software systems (VVSS 2005)
Verkorte titelVVSS 2005
LandNederland
StadEindhoven
Periode24/11/0524/11/05
AnderVVSS2005 : verification and validation of software systems (November 24, 2005)

Citeer dit

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