Verhaltensgarantien in Selbst-Organisierenden Systemen - Florian Nafz - Google Books

https://books.google.de/books?id=MSy9lPnrQxYC&pg=PA74&dq=Algebraische+Spezifikation&hl=de&sa=X&ved=0ahUKEwjXvLH62brdAhWHaVAKHX8r

Zukunftige Systeme erfordern ein hohes Mass an Flexibilitat, um den wachsenden Anforderungen gerecht zu werden. Gleichzeitig werden technische Systeme in mehr und mehr Bereichen eingesetzt und sollen dabei vielfaltigste Aufgaben ubernehmen.…