( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programming assistance based on contracts and modular verification in the automation domain.

, и . SAC, стр. 2544-2551. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michael Prähofer

Herbert Friedrich

Herbert Reiter

Herbert Woltering

Herbert Plesse

 

Другие публикации лиц с тем же именем

Visualizing Feature-Level Evolution in Product Lines: A Research Preview., , и . REFSQ, том 12045 из Lecture Notes in Computer Science, стр. 300-306. Springer, (2020)Theory of Quantized Systems: Devs Simulation of Perceiving Agents., , и . Cybern. Syst., 31 (6): 611-647 (2000)Software Engineering - Processes and Tools., , , , , , , , , и . Hagenberg Research, Springer, (2009)Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language., и . IEEE Trans. Ind. Informatics, 9 (4): 2387-2396 (2013)Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems., , , , , , и . ICSME, стр. 426-430. IEEE Computer Society, (2014)Programming assistance based on contracts and modular verification in the automation domain., и . SAC, стр. 2544-2551. ACM, (2010)A discrete event system model of business system-a systems theoretic foundation for information systems analysis. I., и . IEEE Trans. Syst. Man Cybern. Part A, 27 (1): 1-10 (1997)MONACO -- A Domain-Specific Language Supporting Hierarchical Abstraction and Verification of Reactive Control Programs, и . Industrial Informatics (INDIN), 2010 8th IEEE International Conference on, стр. 908-914. (июля 2010)Towards a theory of interface-based design of hierarchical reactive systems.. SpringSim (TMS-DEVS), стр. 8. ACM, (2013)Points-to analysis of IEC 61131-3 programs: Implementation and application., , , и . ETFA, стр. 1-8. IEEE, (2013)