Extending Formal Methods for Software-Intensive Systems

Smith, G. (2008). Extending Formal Methods for Software-Intensive Systems. 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. 146-161) Heidleberg Berlin: Springer. doi:10.1007/978-3-540-89437-7-10


Author Smith, G.
Title of chapter Extending Formal Methods for Software-Intensive Systems
Title of book Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Place of Publication Heidleberg Berlin
Publisher Springer
Publication Year 2008
Sub-type Research book chapter (original research)
DOI 10.1007/978-3-540-89437-7-10
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 10
Start page 146
End page 161
Total pages 16
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 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Sat, 28 Mar 2009, 02:12:51 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering