Article,

An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems.

, , and .
Informatica (Slovenia), (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews