• Combining Formal Verification...

Treffer: Combining Formal Verification and Testing for Correct Legacy Component Integrationin Mechatronic UML

Title:
Combining Formal Verification and Testing for Correct Legacy Component Integrationin Mechatronic UML
Workshop on architectiing dependable systems; Architecting dependable systems V
Authors:
Giese, H., Henkler, S., Hirsch, M.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (5135):248-272
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN069783154&indx=1&recIds=ETOCCN069783154
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings