Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Gegenbeispiel"'
Mit Beispielen lässt sich trefflich streiten. Kaum etwas ist spannender als ein Beispielstreit. In diesem Heft finden sich, was Anspruch jeder wissenschaftlichen Zeitschrift sein sollte, entsprechende Kontroversen. Zunächst wird dem phänomenologis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7adc306f075310b0e463fbef4e7c9ad
Autor:
Vernekar, Ganesh Kamalakar
In the recent trends, automated systems are increasingly seen to be embedded in human life with the increase of human dependence on software to perform safetycritical tasks like airbag deployment in automobiles to real-time mission planning in UAVs (
Autor:
Vernekar, Ganesh Kamalakar
In the recent trends, automated systems are increasingly seen to be embedded in human life with the increase of human dependence on software to perform safetycritical tasks like airbag deployment in automobiles to real-time mission planning in UAVs (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______218::5e2bdf89095121f933170cc5034f70bf
https://monarch.qucosa.de/id/qucosa:20387
https://monarch.qucosa.de/id/qucosa:20387
Autor:
Aljazzar, Husain
Model-Checking ist ein formales Verifikationsverfahren, in dem das Hauptziel die Überprüfung der Korrektheit von Systemen bezüglich gegebener Anforderungen ist. Daneben wird Model-Checking häufig als ein Debugging-Werkzeug eingesetzt. Es wird zur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______715::4256205f950f0429c28d197682117647
Staying private : erfolgreich ohne Börse aus der Sicht 30 grosser privater Unternehmen im DACH-Raum
Autor:
Braun, Bianca.
Sankt Gallen, Univ., Diss., 2008.
Zsfassung in engl. Sprache.
Zsfassung in engl. Sprache.
Externí odkaz:
http://swbplus.bsz-bw.de/bsz286525585abs.htm
http://swbplus.bsz-bw.de/bsz286525585inh.htm
http://swbplus.bsz-bw.de/bsz286525585inh.htm