Automatic methods for the refinement of system models from the specification to the implementation
| Hauptverfasser: | , , |
|---|---|
| Körperschaft: | |
| Format: | Electronic Resource |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schlagworte: | |
| Online Zugang: | 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 |