Barriers to mental health service use among distressed family caregivers of lung cancer patients von Mosher, C.E., Given, B.A., Ostroff, J.S.

Volltext

OA10.06 Recognizing Early Adopters of Non Stigmatizing Language at IASLC WCLC 2022 von Lockstadt, C., Feldman, J., Studts, J.L., Ostroff, J.S., Liu, L., Pasquinelli, M.M., Feldman, L.E.

Volltext

Barriers to mental health service use among distressed family caregivers of lung cancer patients: Barriers to mental health service use von Mosher, C.E., Given, B.A., Ostroff, J.S.

Volltext

Identifying patient information needs about cancer clinical trials using a Question Prompt List von Brown, Richard F, Shuk, Elyse, Butow, Phyllis, Edgerson, Shawna, Tattersall, Martin H.N, Ostroff, Jamie S

Volltext

Principles for modeling language design von Paige, R.F, Ostroff, J.S, Brooke, P.J

Volltext

A visual toolset for the design of real-time discrete-event systems von Ostroff, J.S.

Volltext

Deciding properties of timed transition models von Ostroff, J.S.

Volltext

A framework for real-time discrete event control von Ostroff, J.S., Wonham, W.M.

Volltext

Discussion on: ‘A Contribution to the Validation of Grafcet Controlled Systems’ by J. Zaytoon von Ostroff, J.S., Alla, H., Arzen, K.E., Zaytoon, J.

Volltext

Automated modular specification and verification of real-time reactive systems von Ostroff, J.S.

Volltext bestellen

Modularity in the ESM/RTL Framework for Real-Time Systems von Ostroff, J.S.

Volltext

The effect of methotrexate on neuropsychological functioning in acute leukemia patients von Rebeta, J.L., Ostroff, J.S., Zazula, T., Lesko, L.M.

Volltext

A CASE tool for the design of safety-critical software von Ostroff, J.S.

Volltext bestellen

Verifying finite state real-time discrete event processes von Ostroff, J.S.

Volltext bestellen

A logic for real-time discrete event processes von Ostroff, J.S.

Volltext

Comparison of the psychosocial adaptation of survivors of Hodgkin's disease and leukemia von Kornblith, A.B., Lesko, L., Anderson, J., Cella, D.F., Tross, S., Ostroff, J.S., Zuckerman, E., Mashberg, D., Cherin, E., Henderson, E.S., Weiss, R.B., Cooper, M.R., Silver, R.T., Leone, L., Canellos, G.P., Gottlieb, A., Holland, J.C.

Volltext

Formal methods in the classroom: the logic of real-time software design von Ostroff, J.S., Paige, R.F.

Volltext bestellen

Real-time temporal logic decision procedures von Ostroff, J.S.

Volltext bestellen

From Z to BON/Eiffel von Paige, R.F., Ostroff, J.S.

Volltext bestellen

Mechanizing the verification of real-time discrete systems von Ostroff, J.S.

Volltext