Formalizing and Reasoning About Supply Chain Contracts Between Agents von Flynn, Dylan, Nadeau, Chasity, Shantz, Jeannine, Balduccini, Marcello, Son, Tran Cao, Griffor, Edward R.

Volltext

Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems von Griffor, Edward

Volltext

Handbook of Computability Theory von Griffor, E. R

Volltext

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework von NGUYEN, THANH HAI, BUNDAS, MATTHEW, SON, TRAN CAO, BALDUCCINI, MARCELLO, GARWOOD, KATHLEEN CAMPBELL, GRIFFOR, EDWARD R.

Volltext

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP von Nguyen, Thanh Hai, Son, Tran Cao, Bundas, Matthew, Balduccini, Marcello, Garwood, Kathleen Campbell, Griffor, Edward R.

Volltext

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework von Nguyen, Thanh Hai, Bundas, Matthew, Son, Tran Cao, Balduccini, Marcello, Garwood, Kathleen Campbell, Griffor, Edward R

Volltext bestellen

Inaccessibility in constructive set theory and type theory von Rathjen, Michael, Griffor, Edward R., Palmgren, Erik

Volltext

SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN 3 E von Griffor, Edward R.

Volltext

SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN 3E von Griffor, Edward R.

Volltext

VEHICULAR COMMUNICATION GATEWAY von BORKOWICZ NEIL L, YAGLEY MARTIN G, WILKE JOHN A, GRIFFOR EDWARD R

Volltext bestellen

Performance management system von GRIFFOR EDWARD R, RUSSIE DANIEL WILLIAM

Volltext bestellen

X-Ray Crystallographic and Kinetic Studies of Human Sorbitol Dehydrogenase von Pauly, Thomas A., Ekstrom, Jennifer L., Beebe, David A., Chrunyk, Boris, Cunningham, David, Griffor, Matthew, Kamath, Ajith, Lee, S.Edward, Madura, Rebecca, Mcguire, Dewitt, Subashi, Timothy, Wasilko, David, Watts, Paul, Mylari, Banavara L., Oates, Peter J., Adams, Paul D., Rath, Virginia L.

Volltext