About this scholarly article

2009 International Conference on Embedded Software and Systems - Efficient Model-Checking for Real-Time Task Networks by Dierks, Henning; Metzner, Alexander; Stierand, Ingo is a scholarly article available to read on EtoBox.

Author

Dierks, Henning; Metzner, Alexander; Stierand, Ingo

Publisher

IEEE

Published

2009

Language

EN