Searching for "MoDeST - A Modelling and Description Language for Stochastic Timed Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

MoDeST - A Modelling and Description Language for Stochastic Timed Systems
by Pedro R. D'Argenio, Pedro R. D’argenio, Holger Hermanns, Joost-pieter Katoen, Ric Klaren — 2001
…MoDeST – A Modelling and Description Language for Stochastic Timed Systems Pedro R. D…
Cited by 14 (2 self) – Add To MetaCart

Bibliography
by Accellera Property Specification, J. S. Smith, D. J. Medeiros, M. W. Rohrer (eds, Proceedings Of The, R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T Kanza, S. Mador-haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, Y. Zbar, The For, F. Balarin, E. Stentovich, M. Chiodo, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, A. Sangiovanni-vincentelli
…-Verlag, 1977. [41] P.R. D’Argenio, H. Hermanns, J.-P. Katoen, and R. Klaren. MoDeST – A Modelling…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB