applicationsoftware automatesmathématiques automatestemporels automaticcontrol computerarchitecture computernetworkarchitectures computernetworks computerprograms computerscience computersecurity computersimulation computersoftware computersystemperformance computersystems congresses development distributedprocessing electronicdataprocessing embeddedcomputersystems embeddedinternetdevices evaluation formalemethode formalespezifikationstechnik informatique integratedcircuits internetofthings kongress leistungsbewertung logicdesign machinetheory mathematics memorymanagement(computerscience) méthodesformelles(informatique) object-orientedprogramming(computerscience) real-timedataprocessing rechnernetz robots software softwareengineering softwarespezifikation statecharts(computerscience) stochasticmodels systemdesign temporalautomata testen testing théoriedes uml(computerscience) verification verteiltessystem