BibSonomy now supports HTTPS. Switch to HTTPS.

Formal Behavioral Modeling of Real-time Operating Systems.
, , , , and .
ICEIS (2), page 407-414. SciTePress, (2012)

  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).