E-LIB Suche - Ergebnisse für: Stewart, Danielle

1

Automated Property-Based Testing from AADL Component Contra..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Hatcliff, John ; Belt, Jason ; Robby... - p. 131-150 , 2023

Link: https://doi.org/10.1007/..

2

An AADL Contract Language Supporting Integrated Model- and ..:

Hatcliff, John ; Stewart, Danielle ; Belt, Jason..
ACM SIGAda Ada Letters. 42 (2023) 2 - p. 45-54 , 2023

Link: https://doi.org/10.1145/..

3

Mechanization of a Large DSML: An Experiment with AADL and ..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Hugues, Jerome ; Wrage, Lutz ; Hatcliff, John. - p. 1-9 , 2022

Link: https://doi.org/10.1109/..

4

Formalization of the AADL Run-Time Services:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Hatcliff, John ; Hugues, Jerome ; Stewart, Danielle. - p. 105-134 , 2022

Link: https://doi.org/10.1007/..

5

Spatial Clustering of Amyotrophic Lateral Sclerosis in Virg..:

Wheeler, David ; Naum, Ryan ; Brockenbrough, Paula...
Neurology. 98 (2022) 18_supplement - p. , 2022

Link: https://doi.org/10.1212/..

6

Hydromorphological Characterization of the Piney Creek Wate..:

Williams, Matthew ; Gaiser, Dane ; Stevens, Luke..
Proceedings of the West Virginia Academy of Science. 94 (2022) 3 - p. , 2022

Link: https://doi.org/10.55632..

7

AADL-Based safety analysis using formal methods applied to ..:

Stewart, Danielle ; Liu, Jing (Janet) ; Cofer, Darren...
Reliability Engineering & System Safety. 213 (2021) - p. 107649 , 2021

Link: https://doi.org/10.1016/..

8

Composition of Fault Forests:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Stewart, Danielle ; Whalen, Michael ; Heimdahl, Mats.. - p. 258-275 , 2021

Link: https://doi.org/10.1007/..

9

Role of FOXM1 in vascular smooth muscle cell survival and n..:

Franco, Sarah ; Stranz, Amelia ; Ljumani, Fiona...
Heliyon. 6 (2020) 6 - p. e04028 , 2020

Link: https://doi.org/10.1016/..

10

Transnational Exchanges in Latin American Art, Literature, ..:

Stewart, Danielle
Latin American Research Review. 55 (2020) 3 - p. 621-630 , 2020

Link: https://doi.org/10.25222..

11

Exhibition Review: Latin America for Park Avenue: The Metro..:

Stewart, Danielle
Journal of Planning History. 19 (2019) 2 - p. 129-134 , 2019

Link: https://doi.org/10.1177/..

12

Anomalous Innervation to the Extensor Digitorum Brevis:

Swerdloff, Marc ; Stewart, Danielle
Journal of Brachial Plexus and Peripheral Nerve Injury. 14 (2019) 1 - p. e14-e15 , 2019

Link: https://doi.org/10.1055/..

13

"Auditing private companies"

, In: Accounting and business research

a practitioner view

Stewart, Danielle. (2017) 5 - p. 585-587

Exemplare: Zentrale: z bwl 564/791; Zentrale:Magazin Zs fc 5791

14

'Auditing private companies': a practitioner view:

Stewart, Danielle
Accounting and Business Research. 47 (2017) 5 - p. 585-587 , 2017

Link: https://doi.org/10.1080/..

15

Corrigendum to "Even harmonious labelings of disjoint graph..:

Gallian, Joseph A. ; Stewart, Danielle
AKCE International Journal of Graphs and Combinatorics. 13 (2016) 1 - p. 101-101 , 2016

Link: https://doi.org/10.1016/..