Real-time systems : specification, verification and analysis /

Autor Joseph, M., 1943-
Vydáno 1996

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings /

Vydáno 2000

Software engineering approaches for offshore and outsourced development : first International Conference, SEAFOOD 2007 : Zurich, Switzerland, February 5-6, 2007 : revised papers /

Vydáno 2007