| Type |  Book |
| ชื่อเรื่อง | Formal methods applied to industrial complex systems [electronic resource] / edited by Jean-Louis Boulanger |
| ISBN | 9781119004707 (online) |
| | 9781848216327 |
| พิมพลักษณ์ | Hoboken, New Jersey : Wiley, 2014 |
| รูปเล่ม | 1 computer file |
| ลิงค์ | Wiley Online Library |
| หัวเรื่อง | Formal methods (Computer science) |
| | Systems engineering --Computer simulation [] |
| | Systems engineering --Data processing [] |