thema EDItEUR::N History and Archaeology::NH History::NHD European history architecture verification and validation artificial intelligence computer programming formal logic model checking programming languages software quality thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering Automatic control engineering Claims Conference,1953 Luxembourg Agreement,International Criminal Court,Israelpolitik,Pablo de Greiff,Reparations for Nazi Victims Nachhaltigkeit Parteienforschung Sustainability distributed computer systems distributed systems embedded systems logic and verification meta-analysis n/a signaling pathways software architecture software design software engineering systematic review thema EDItEUR::1 Place qualifiers::1D Europe thema EDItEUR::3 Time period qualifiers::3M c 1500 onwards to present day::3MP 20th century, c 1900 to c 1999::3MPB Early 20th century c 1900 to c 1950::3MPBL c 1940 to c 1949 thema EDItEUR::3 Time period qualifiers::3M c 1500 onwards to present day::3MP 20th century, c 1900 to c 1999::3MPB Early 20th century c 1900 to c 1950::3MPBL c 1940 to c 1949::3MPBLB c 1938 to c 1946 (World War Two period) thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology thema EDItEUR::J Society and Social Sciences::JP Politics and government