Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems

You are here: Homepage > Search

Ikeda, R. / Narita, K. / Nishizaki, S.-y.

Title :

Contributors:

Ikeda, R. (author) / Narita, K. (author) / Nishizaki, S.-y. (author)

Published in:

Publication date :

2011-01-01

Size :

7 pages

ISSN :

1206-212X

Type of media :

Article (Journal)

Type of material :

Language :

English

Classification :

DDC:

004.16

Ikeda, Ritsuya / Narita, Kensuke / Nishizaki, Shin-ya | British Library Online Contents | 2011

Verzino, G. / Cavaliere, F. / Mari, F. et al. | British Library Conference Proceedings | 2012

Verzino, Giovanni | AIAA | 2012

Ashokkumar, C.R. / Curtis, Will / Murphey, Robert | AIAA | 2003

Dill, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995