Suchergebnisse - Eakman, Greg | OPAC THWS

1

Building Long-Lived Adaptive Systems von Camara, Javier, Garlan, David, Eakman, Greg

Veröffentlicht in IEEE software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Engineering resilient systems cloud computing architecture (ECCA): a collaborative and secure analysis framework von Blakley, Collin T, Li, Letitia W, Eakman, Greg, Baker, Brent C

Veröffentlicht in Journal of defense modeling and simulation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Overhead-Aware Deployment of Runtime Monitors von Zhang, Teng, Eakman, Greg, Lee, Insup, Sokolsky, Oleg

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Practical Formal Verification of Domain-Specific Language Applications von Eakman, Greg, Reubenstein, Howard, Hawkins, Tom, Jain, Mitesh, Manolios, Panagiotis

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Specification Improvement Through Analysis of Proof Structure (SITAPS): High Assurance Software Development von Reubenstein,Howard, Eakman,Greg, Hawkins,Tom

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Specification Improvement Through Analysis of Proof Structure (SITAPS): High Assurance Software Development von Reubenstein,Howard, Eakman,Greg, Hawkins,Tom

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

FORMED: Bringing Formal Methods to the Engineering Desktop von Reubenstein,Howard, Eakman,Greg, Wiegley,John, Manolios,Panagiotis, Jain,Mitesh

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Planet Formation Imager (PFI): Science Vision and Key Requirements von Kraus, Stefan, Monnier, John D, Ireland, Michael J, Duchene, Gaspard, Espaillat, Catherine, Honig, Sebastian, Juhasz, Attila, Mordasini, Chris, Olofsson, Johan, Paladini, Claudia, Stassun, Keivan, Turner, Neal, Vasisht, Gautam, Harries, Tim J, Bate, Matthew R, Gonzalez, Jean-Francois, Matter, Alexis, Zhu, Zhaohuan, Panic, Olja, Regaly, Zsolt, Morbidelli, Alessandro, Meru, Farzana, Wolf, Sebastian, Ilee, John, Berger, Jean-Philippe, Zhao, Ming, Kral, Quentin, Morlok, Andreas, Bonsor, Amy, Ciardi, David R, Kane, Stephen R, Kratter, Kaitlin, Laughlin, Greg, Pepper, Joshua, Raymond, Sean, Labadie, Lucas, Nelson, Richard P, Brummelaar, Theo ten, Pierens, Arnaud, Oudmaijer, Rene, Kley, Wilhelm, Pope, Benjamin, Jensen, Eric L N, Bayo, Amelia, Smith, Michael

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: