Product Line Engineering Applied to CBTC Systems Development

Submitted by admin on Fri, 02/07/2014 - 00:01

real time systems specification, formal methods, tilco, uml

Axmedis ID

urn:axmedis:00000:obj:ee7f21f3-dccf-4f84-90a9-543ecc81e4d1

QR

Product Line Engineering Applied to CBTC Systems Development

Document type

File

Link

https://www.disit.org/drupal/?q=en-US/axmedis/download&id=urn%3Aaxmedis%3A00000…