( en | de | ru )

 

Disambiguation of "Larson, Brian R."

Author of the publication

copydeleteadd this publication to your clipboard
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device.

, , , and . HILT, page 65-84. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Larson Powell

Rolf-Walter Briant

Benoît Briand

Robert Larson

Bernd Larson

 

Other publications of authors with the same name

Requirements specification for apps in medical application platforms., , , and . SEHC@ICSE, page 26-32. IEEE Computer Society, (2012)Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device., , , and . HILT, page 65-84. ACM, (2013)Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL., , , , , and . Sci. China Inf. Sci., 58 (11): 1-20 (2015)Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling., , , , and . HILT, page 29-38. ACM, (2014)Assurance Case Considerations for Interoperable Medical Systems., , and . SAFECOMP Workshops, volume 11094 of Lecture Notes in Computer Science, page 42-48. Springer, (2018)Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling., , , and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 34-50. Springer, (2020)Enabling Safe Interoperation by Medical Device Virtual Integration., , , , and . IEEE Des. Test, 32 (5): 74-88 (2015)A Unified Approach for Modeling, Developing, and Assuring Critical Systems., , , , and . ISoLA (1), volume 11244 of Lecture Notes in Computer Science, page 225-245. Springer, (2018)Open source patient-controlled analgesic pump requirements documentation., , and . SEHC@ICSE, page 28-34. IEEE Computer Society, (2013)BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software., , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 276-290. Springer, (2013)