BLESS Behavior Correctness Proof as Convincing Verification Artifact von Larson, Brian R., Ahmad, Ehsan

Volltext

Formal semantics for the PACEMAKER system specification von Larson, Brian R.

Volltext

ADEPT 2023 Workshop Summary von Tran, Hai Nam, Singhoff, Frank, Hugues, Jérôme, Dissaux, Pierre, Lewis, Bruce, Shackleton, Hazel, Kiniry, Joseph, Zeyda, Frank, Mittal, Rakshit, Blouin, Dominique, Bhobe, Anish, Pautet, Laurent, Bae, Kyungmin, Ölveczky, Peter Csaba, Larson, Brian R, Ahmad, Ehsan, Kosmidis, Leonidas, Valente, Hugo, A de Miguel, Miguel, Pérez, Ángel G, Alonso, Alejandro, Zamorano, Juan, A de la Puente, Juan

Volltext

Open source patient-controlled analgesic pump requirements documentation von Larson, Brian R., Hatcliff, John, Chalin, Patrice

Volltext

BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software von Larson, Brian R., Chalin, Patrice, Hatcliff, John

Volltext

A Unified Approach for Modeling, Developing, and Assuring Critical Systems von Hatcliff, John, Larson, Brian R., Belt, Jason, Robby, Zhang, Yi

Volltext

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling von Ahmad, Ehsan, Larson, Brian R., Barrett, Stephen C., Zhan, Naijun, Dong, Yunwei

Volltext

Open source Patient-Controlled Analgesic pump requirements documentation von Larson, Brian R., Hatcliff, John, Chalin, Patrice

Volltext bestellen

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings von Brat, Guillaume, Rungta, Neha, Venet, Arnaud

Volltext

Enabling Safe Interoperation by Medical Device Virtual Integration von Larson, Brian R., Yi Zhang, Barrett, Stephen C., Hatcliff, John, Jones, Paul L.

Volltext

DANCE/MULTITUDE CONCURRENT COMPUTATION von LARSON, BRIAN, R

Volltext bestellen

Dance/multitude concurrent computation von BRIAN R. LARSON

Volltext bestellen

Dance/multitude concurrent computation von BRIAN R. LARSON

Volltext bestellen

DANCE/MULTITUDE CONCURRENT COMPUTATION von LARSON, BRIAN R

Volltext bestellen

DANCE/MULTITUDE CONCURRENT COMPUTATION von LARSON, BRIAN, R

Volltext bestellen

M Out of N code checker circuit von LARSON, BRIAN R

Volltext bestellen

Layered network von LARSON, BRIAN R, BENNETT, DONALD B, MURPHY, STEVEN A

Volltext bestellen

Digital adaptive voting von LARSON, BRIAN R, BENNETT, DONALD B, WOLFF, THOMAS O

Volltext bestellen

Long-Term Outcomes of Imatinib Treatment for Chronic Myeloid Leukemia von Hochhaus, Andreas, Larson, Richard A, Guilhot, François, Radich, Jerald P, Branford, Susan, Hughes, Timothy P, Baccarani, Michele, Deininger, Michael W, Cervantes, Francisco, Fujihara, Satoko, Ortmann, Christine-Elke, Menssen, Hans D, Kantarjian, Hagop, O’Brien, Stephen G, Druker, Brian J

Volltext

Surgical clip applier method von VITALI DARIO,MOLITOR NICHOLAS G.,HUITEMA THOMAS W.,KOCH ROBERT L. JR.,BERTKE BRIAN D.,LARSON KEVIN A.,FUCHS RICHARD P.,DAVISON MARK A

Volltext bestellen