FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 - International Workshop on Formal Methods for Industrial Critical Systems 2005 : Lisabon, Portugalsko); Margaria-Steffen, Tiziana, 1964-; Massink, Mieke; ACM Sigsoft; ESEC/FSE 2005 (2005 : Lisabon, Portugalsko) (New York : Association for Computing Machinery, 2005)
Obsahuje bibliografii a rejstřík
Keywords: počítačové modelování; computer modeling; monografie; monographs