Automatic methods for the refinement of system models from the specification to the implementation
| 主要な著者: | , , |
|---|---|
| 団体著者: | |
| フォーマット: | Electronic Resource |
| 言語: | English |
| 出版事項: |
Cham
Springer
[2017]
|
| 主題: | |
| オンライン･アクセス: | Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy |