Translation examples
Tapaustutkimus soveltamalla aikalogiikka määrittää toiminnan pankin identtisten hissien huolto useita kerroksia rakennuksessa.
A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.