Further processing options
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Saved in:
Journal Title: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Authors and Corporations: | , |
In: | Electronic Proceedings in Theoretical Computer Science, 80, 2012, p. 130-144 |
Type of Resource: | E-Article |
Language: | English |
published: |
Open Publishing Association
|
Subjects: |