( en | de | ru )

 

Disambiguierung von "Larson, Brian R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal semantics of behavior specifications in the architecture analysis and design language standard.

, , , , , , und . HLDVT, Seite 30-39. IEEE, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Larson Powell

Rolf-Walter Briant

Benoît Briand

Robert Larson

Bernd Larson

 

Weitere Publikationen von Autoren mit dem selben Namen

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