1![Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx](https://www.pdfsearch.io/img/afc4f5c9dab129a4a9d3f64da5533710.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-03-23 03:32:40
|
---|
2![✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU ✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU](https://www.pdfsearch.io/img/0c53d2fbb4fb9bda58dcb58636e399ad.jpg) | Add to Reading ListSource URL: www-verimag.imag.frLanguage: English - Date: 2012-12-31 04:25:30
|
---|
3![A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania](https://www.pdfsearch.io/img/c503da0f2ce4db7597fd7d2a1d054a33.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2013-12-14 22:31:51
|
---|
4![BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-Checking BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-Checking](https://www.pdfsearch.io/img/7957dbc782e02d5edd6b7a11ca5c017b.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2000-01-25 09:02:49
|
---|
5![Testing activities at CISS Testing activities at CISS](https://www.pdfsearch.io/img/fb1d7172acf6cdc22890d05da16d4daf.jpg) | Add to Reading ListSource URL: www2.imm.dtu.dkLanguage: English - Date: 2006-08-08 11:17:42
|
---|
6![Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract](https://www.pdfsearch.io/img/b43580a1b0d3dcfa8b48937b3b79fdba.jpg) | Add to Reading ListSource URL: www.csse.uwa.edu.auLanguage: English - Date: 2012-04-29 23:34:56
|
---|
7![](https://www.pdfsearch.io/img/6303a18f69241fa4a7172078b2c6310a.jpg) | Add to Reading ListSource URL: icaps11.icaps-conference.orgLanguage: English - Date: 2013-04-15 04:52:48
|
---|
8![A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401](https://www.pdfsearch.io/img/c13ab6a252a77049d73d2e5654104545.jpg) | Add to Reading ListSource URL: icaps11.icaps-conference.orgLanguage: English - Date: 2013-04-15 04:52:48
|
---|
9![](https://www.pdfsearch.io/img/0ee0d444243f8e611629a0df22ecb402.jpg) | Add to Reading ListSource URL: people.cs.aau.dkLanguage: English - Date: 2012-10-25 20:21:20
|
---|
10![Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an](https://www.pdfsearch.io/img/bd6d1abab8b6b4e69e52f9d9eb6c5961.jpg) | Add to Reading ListSource URL: rpgoldman.goldman-tribe.orgLanguage: English - Date: 2013-06-12 10:51:30
|
---|