Searching for "Specifying real-time requirements for SDL specifications - a temporal logic-based approach." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

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
…, 2001. [95] S. Leue. Specifying Real-Time Requirements for SDL Specifications - A Temporal Logic-based…
Add To MetaCart

Showing 1 through 1.

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