✦ LIBER ✦

Efficient monitoring of safety properties

✍ Scribed by Klaus Havelund; Grigore Roşu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient model checking of PSL safety p

✍ Launiainen, T.; Heljanko, K.; Junttila, T. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 406 KB

Safety Monitoring of Herb-Drug Interacti

✍ Dr Souad Skalli, Rachida Soulaymani Bencheikh 📂 Article 📅 2012 🏛 Springer International Publishing AG 🌐 English ⚖ 143 KB

Essay: Monitoring the safety of licensed

✍ Breckenridge, Alasdair; Woods, Kent; Raine, June 📂 Article 📅 2005 🏛 Nature Publishing Group 🌐 English ⚖ 161 KB

Data and safety monitoring of rosiglitaz

✍ Elizabeth G Nabel; Susan B Shurin; Denise G Simons-Morton; David Gordon 📂 Article 📅 2007 🏛 The Lancet 🌐 English ⚖ 41 KB

Procedures of Data and Safety Monitoring

✍ Stuart Pocock; Curt D. Furberg 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 78 KB

Monitoring the safety of pandemic H1N1 v

✍ Wan-Ting Huang; Jen-Hsiang Chuang; Steve Hsu-Sung Kuo 📂 Article 📅 2010 🏛 The Lancet 🌐 English ⚖ 48 KB