@inproceedings{FM-2008-VerhulstJM,
author = "Eric Verhulst and Gjalt G. de Jong and Vitaliy Mezhuyev",
booktitle = "{Proceedings of the 15th International Symposium of Formal Methods}",
doi = "10.1007/978-3-540-68237-0_29",
isbn = "978-3-540-68235-6",
pages = "411--418",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS}",
volume = 5014,
year = 2008,
}
Tags: