Model-Based Software Performance Analysis
by Vittorio Cortellessa,Antinisca Di Marco,Paola Inverardi
ISBN 13: 9783642136207
Format: Hardcover (202 pages) Publisher: Springer Published: 08 May 2011
Save for later
Formal Methods for Model-Driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software ... / Programming and Software Engineering)
by
ISBN 13: 9783642309816
Format: Paperback (439 pages) Publisher: Springer Published: 14 Jun 2012