Dette er et gitt scenario fra et Dagstuhl-seminar nylig. Systemet som skal modelleres i Maude eller Real-Time Maude er en "helautomatisk" farm med masse selvkjørende biler, etc., som skal så og høste etc, uten at bilene kræsjer i hverandre, osv. Ulike aspekter av en slik automatisk bondegård kan modelleres og analyseres.
Modellering av selvkjørende ting i Maude
Modellering av noen aspekter av en "automatisk" farm med masse selvkjørende traktorer, etc
Publisert 22. okt. 2021 22:43
- Sist endret 22. okt. 2021 22:43