Hochschulschrift
Development of automatic program verification for continuous function chart based on model checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899588064
- Maße
-
24 cm, 260 gr.
- Umfang
-
121 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Kassel, Univ., Diss., 2009
- Erschienen in
-
Embedded systems ; 32
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Automatisierungssystem
Programmverifikation
Continuous Function Chart
- Ereignis
-
Veröffentlichung
- (wo)
-
Kassel
- (wer)
-
Kassel Univ. Press
- (wann)
-
2009
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
24.06.2025, 13:13 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Wardana, Awang Noor Indra
- Kassel Univ. Press
Entstanden
- 2009
Ähnliche Objekte (12)
Using model checking for system verification
SPIN model checking and software verification ; proceedings
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Mixed signal circuit verification using symbolic model checking techniques
Formal Verification of Algorithms for Automata and Model Checking
Systems and software verification : model checking techniques and tools
Improving Live Sequence Chart to Automata Transformation for Verification
Verification of continuous-space stochastic systems
Continuous User Verification through Behavior Biometrics
Verification of continuous-space stochastic systems
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Using model checking for system verification
SPIN model checking and software verification ; proceedings
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Mixed signal circuit verification using symbolic model checking techniques
Formal Verification of Algorithms for Automata and Model Checking
Systems and software verification : model checking techniques and tools
Improving Live Sequence Chart to Automata Transformation for Verification
Verification of continuous-space stochastic systems
Continuous User Verification through Behavior Biometrics
Verification of continuous-space stochastic systems
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Using model checking for system verification
SPIN model checking and software verification ; proceedings
Automatic signature verification using segmentation
Interval Analysis and Automatic Result Verification
Mixed signal circuit verification using symbolic model checking techniques
Formal Verification of Algorithms for Automata and Model Checking
Systems and software verification : model checking techniques and tools
Improving Live Sequence Chart to Automata Transformation for Verification
Verification of continuous-space stochastic systems
Continuous User Verification through Behavior Biometrics
Verification of continuous-space stochastic systems