Back to Results
First PageMeta Content
Google App Engine / Platform as a service / Amazon Elastic Compute Cloud / Installation / Cloud computing / Centralized computing / Cloud infrastructure


LNCS[removed]Software Verification in the Google App-Engine Cloud
Add to Reading List

Document Date: 2015-02-12 10:21:00

Open Document

File Size: 211,40 KB

Share Result on Facebook

Company

Amazon / Springer International Publishing Switzerland / Donaldson / Google / Intel / Microsoft / /

Country

Germany / Ireland / /

Currency

USD / /

Facility

Philipp Wendler University of Passau / /

IndustryTerm

web applications / configurable software verification / software model checking / verification services / verification algorithms / https /

OperatingSystem

VMs / Linux / /

Organization

Philipp Wendler University of Passau / /

Person

Georg Dresler / Dirk Beyer / /

Position

driver / /

Product

App Engine / RAM / /

ProgrammingLanguage

Java / PHP / Python / C++ / /

ProvinceOrState

Manitoba / /

Technology

RAM / load balancing / Java / CAV / verification algorithms / Linux / API / operating system / /

URL

http /

SocialTag