Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Larson, Craig Brian
42  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Contributors:

, In: Shackelford's Surgery of the Alimentary Tract,
Abbott, Andrea M. ; Abcarian, Herand ; Abu-Jaish, Wasef... - p. v-xxiv , 2013
Link: https://doi.org/10.1016/..
 
?
2

Contributors:

, In: Sleisenger and Fordtran's Gastrointestinal and Liver Disease,
Abrams, Julian A. ; Afdhal, Nezam H. ; Aggarwal, Rakesh... - p. vii-xvi , 2010
Link: https://doi.org/10.1016/..
 
?
3

Contributors:

, In: Neurological Complications of Systemic Cancer and Antineoplastic Therapy,
Ahluwalia, Manmeet S. ; Alici, Yesne ; Allen, Deborah... - p. xiii-xv , 2022
Link: https://doi.org/10.1016/..
 
?
4

Contributors:

, In: Food Animal Practice,
Abrahamsen, Eric J. ; Anderson, David E. ; Apley, Michael D.... - p. vii-xiv , 2009
Link: https://doi.org/10.1016/..
 
?
5

Bridging Rhetoric And Pragmatics With Relevance Theory:

, In: Relevance and Irrelevance,
Larson, Brian N. - p. 69-96 , 2018
Link: https://doi.org/10.1515/..
 
?
6

A Unified Approach for Modeling, Developing, and Assuring C..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,
Hatcliff, John ; Larson, Brian R. ; Belt, Jason.. - p. 225-245 , 2018
Link: https://doi.org/10.1007/..
 
?
7

Formal semantics for the PACEMAKER system specification:

, In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology,
Larson, Brian R. - p. 47-60 , 2014
Link: https://dl.acm.org/doi/1..
 
?
8

Hybrid annex : an AADL extension for continuous behavior..:

, In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology,
Ahmad, Ehsan ; Larson, Brian R. ; Barrett, Stephen C... - p. 29-38 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Open source patient-controlled analgesic pump requirements ..:

, In: Proceedings of the 5th International Workshop on Software Engineering in Health Care,
Larson, Brian R. ; Hatcliff, John ; Chalin, Patrice - p. 28-34 , 2013
Link: https://dl.acm.org/doi/1..
 
?
10

Model-Based Risk Analysis for an Open-Source PCA Pump Using..:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,
Thiagarajan, Hariharan ; Larson, Brian ; Hatcliff, John. - p. 34-50 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Assurance Case Considerations for Interoperable Medical Sys..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
Zhang, Yi ; Larson, Brian ; Hatcliff, John - p. 42-48 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Use What You Choose : Applying Computational Methods to ..:

, In: Proceedings of the 34th ACM International Conference on the Design of Communication,
Larson, Brian ; Hart-Davidson, William ; Walker, Kenneth C... - p. 1-8 , 2016
Link: https://dl.acm.org/doi/1..
 
?
13

Panel summary: finding safety in numbers : new languages..:

, In: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology,
Bocchino, Robert ; Matsakis, Nicholas ; Taft, S. Tucker.. - p. 105-106 , 2014
Link: https://dl.acm.org/doi/1..
 
?
14

Illustrating the AADL error modeling annex (v.2) using a si..:

, In: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology,
Larson, Brian ; Hatcliff, John ; Fowler, Kim. - p. 65-84 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

Requirements specification for apps in medical application ..:

, In: Proceedings of the 4th International Workshop on Software Engineering in Health Care,
Larson, Brian ; Hatcliff, John ; Procter, Sam. - p. 26-32 , 2012
Link: https://dl.acm.org/doi/1..
 
1-15