20 Years of Real Real Time Model Validation
Authors: Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen
Paper Information
| Title: | 20 Years of Real Real Time Model Validation |
| Authors: | Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen |
| Proceedings: | FM FMComplete |
| Editors: | Jan Peleska, Klaus Havelund and Bill Roscoe |
| Keywords: | |
| Abstract: | |
| Pages: | 17 |
| Paper: |  |