Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Verhulst, E., Boute, R.T., Faria, J.M.S., Sputh, B.H.C., Mezhuyev, V. (2011). Comparision of Formal Methods. In: Formal Development of a Network-Centric RTOS. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-9736-4_11
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9736-4_11
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-9735-7
Online ISBN: 978-1-4419-9736-4
eBook Packages: EngineeringEngineering (R0)