1
Published 2011
Springer Berlin Heidelberg
Table of Contents: ... Analysis of Modeling Languages for Embedded Systems in Real-Time Maude -- Computational Biology: A...