systembeschreibung
1Systemtheorie (Ingenieurwissenschaften) — Der Begriff der Systemtheorie wird in verschiedenen wissenschaftlichen Disziplinen angewendet und hat in Bezug auf den Primärbegriff System keine einheitliche Bedeutung. Systeme können sich als physikalische, ökologische, ökonomische, soziale… …
2Zustandsraumdarstellung — Die Zustandsraumdarstellung ist eine von mehreren bekannten Formen der Systembeschreibung eines dynamischen Übertragungssystems. Die Überführung einer systembeschreibenden Differenzialgleichung mit n Ableitungen der Ausgangsgröße y(t) und m… …
3Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… …
4Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …
5Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …
6Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …
7Modellprüfverfahren — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …
8Paketquelle — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium …
9Paketquellen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium …
10Projektarchiv — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium …