1
出版事項 2010
目次: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
全文の入手
電子媒体 eBook