Formal testing of systems presenting soft and hard deadlines
ISSN: 0302-9743, 1611-3349
ISBN: 9783540756972
Any de publicació: 2007
Volum: 4767 LNCS
Pàgines: 160-174
Tipus: Aportació congrés
ISSN: 0302-9743, 1611-3349
ISBN: 9783540756972
Any de publicació: 2007
Volum: 4767 LNCS
Pàgines: 160-174
Tipus: Aportació congrés