( en | de | ru )

 

Disambiguation of "Larson, Brian R."

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Open source patient-controlled analgesic pump requirements documentation., , and . SEHC@ICSE, page 28-34. IEEE Computer Society, (2013)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)Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device., , , and . HILT, page 65-84. ACM, (2013)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)Requirements specification for apps in medical application platforms., , , and . SEHC@ICSE, page 26-32. IEEE Computer Society, (2012)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)Formal semantics for the PACEMAKER system specification.. HILT, page 47-60. ACM, (2014)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)