Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen

vorgelegt von Diplom-Ingenieur Sebastian Patrick Grobosch

Year of publication:	[2019]
Authors:	Grobosch, Sebastian Patrick
Publisher:	2019: Düren : Shaker Verlag
Subject:	eingebettete Systeme \| Informatik \| KMU \| SoftwareEntwicklung \| embedded systems \| formal verification \| formale Methoden \| formale Verifikation \| small and medium sized enterprises

freely available

Full text |

More access options

d-nb.info

doi.org

Check Google Scholar

In libraries world-wide (WorldCat)

In German libraries (KVK)

Which error do you want to report?

Report: URL of this record is broken

Please note: Sometimes more than one URL is available for a resource. Please click on "More Options" to display these URLs

Report: Addition of an URL to that resource

Please note: Sometimes more than one URL is available for a resource. Please click on "More Options" to display these URLs

Report: The language(s) of that resource is/are…

Please note: Required language not in the list? Please use comment field

Report: Addition of an identifier to that resource

Report: report typo

Report: Add statement

Report: Add keywords

Please use the commentary box to describe other errors

Would you like to receive a feedback?

Commentary

Please type the code from the image

For general questions please use this address.

Persistent link: https://www.econbiz.de/10012163408

A service of the