Formal Ensemble Engineering

Sanders, J.W. and Smith, G. (2008). Formal Ensemble Engineering. In Wirsing, M., Banâtre, J.P., Hölzl, M. and Rauschmayer, A. (Ed.), Software-Intensive Systems and New Computing Paradigms: Challenges and Visions 1 ed. (pp. 132-138) Heidelberg, Germany: Springer. doi:10.1007/978-3-540-89437-7-8

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Sanders, J.W.
Smith, G.
Title of chapter Formal Ensemble Engineering
Title of book Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2008
Sub-type Research book chapter (original research)
DOI 10.1007/978-3-540-89437-7-8
Edition 1
ISBN 978-3-540-89436-0
ISSN 0302-9743
Editor Wirsing, M.
Banâtre, J.P.
Hölzl, M.
Rauschmayer, A.
Volume number 5380 LNCS
Chapter number 8
Start page 132
End page 138
Total pages 7
Total chapters 16
Language eng
Subjects B1
080309 Software Engineering
890299 Computer Software and Services not elsewhere classified
Q-Index Code B1
Q-Index Status Confirmed Code

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 5 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sat, 28 Mar 2009, 02:06:47 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering