|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Philipp Reinecke , Antinisca Di MarcoPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2017 Volume: 10497 Weight: 4.803kg ISBN: 9783319665825ISBN 10: 3319665820 Pages: 299 Publication Date: 15 August 2017 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsAdvances in Markov models.- Advances in quantitative analysis.- Model checking.- Cyber-physical systems.-Performance, energy and security.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |