Formal Techniques for Safety-Critical Systems
Subtitle: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)
Publisher: Springer
Published: Apr 06, 2014
Format: paperback
Number of pages: 308
ISBN-13: 9783319054155
Notes: Source title: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)