|
|
Model-based engineering of embedded real-time systems: , International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers /
Publication:
Berlin : Springer, 2010
. xv, 384 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting critical systems : , First International Symposium, Isarcs 2010, Prague, Czech Republic, June 23-25, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 192 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Self-Adaptive Systems II
by Lemos, Rogério.
Publication:
. X, 393 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Giese, Holger.
Publication:
. XIII, 269p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Engineering of Embedded Real-Time Systems
by Giese, Holger.
Publication:
. XV, 385p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting Critical Systems
by Giese, Holger.
Publication:
. 205p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|