✦ LIBER ✦

Efficient model-checking of dense-time systems with time-convexity analysis

✍ Scribed by Wang, Farn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient timed model checking for discr

✍ F. Laroussinie; N. Markey; Ph. Schnoebelen 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Real-Time Systems || Model Checking of F

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views

Scheduling analysis based on model check

✍ Karamti, Walid; Mahfoudhi, Adel 📂 Article 📅 2014 🏛 Springer US 🌐 English ⚖ 749 KB

Model checking MASL specification of dis

✍ D. Yu. Bugaichenko 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 238 KB

Exponential improvement of time complexi

✍ N. O. Garanina 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 345 KB

Time Series Analysis (Box/Time Series An

✍ Box, George E. P.; Jenkins, Gwilym M.; Reinsel, Gregory C. 📂 Article 📅 2008 🏛 Wiley ⚖ 425 KB