Sciweavers

19587 search results - page 324 / 3918
» Systems Engineering for software Engineers
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Model-based validation of QoS properties of biomedical sensor networks
Simon Tschirner, Liang Xuedong, Wang Yi
FASE
2008
Springer
15 years 8 months ago
Orthographic Modeling Environment
Colin Atkinson, Dietmar Stoll
FASE
2008
Springer
15 years 8 months ago
HOL-OCL: A Formal Proof Environment for UML/OCL
Achim D. Brucker, Burkhart Wolff