Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
transformation of simple subset of psl into sere implication formulas for verification with model checking and simulation engines using semantic preserving rewrite rules
umwandlung einer einfachen psl-untermenge in sere-implikationsformeln zur ÜberprÜfung mit model-checking und simulationsmaschinen unter verwendung von bedeutungserhaltenden umschreibungsregeln
for example, within the sere programme, control of prisoners’ sensorial perception was achieved by way of sleep prevention using stressful music.
z. b. wurde in dem sere programm die sinneswahrnehmung monopolisiert, indem man die gefangenen mit einer stressigen musik daran hinderte zu schlafen.
following approval of the spanish ops for 2000-06 at the end of 2000 and early in 2001, the annual reports on implementation for 2000 sere sent to the commission with some delay (after the deadline of 30 june).
da die spanischen op für den zeitraum 2000-2006 erst ende 2000 und anfang 2001 genehmigt worden waren, wurden der kommission die jährlichen durchführungsberichte für das jahr 2000 mit einiger verspätung erst nach dem 30. juni vorgelegt.