Author:
Mroß R.,Schnakenbeck A.,Völker M.,Fay A.,Kowalewski S.
Funder
Deutsche Forschungsgemeinschaft
Reference29 articles.
1. Petri net-based semi-compiled code generation for programmable logic controllers;Azkarate;Applied Sciences,2021
2. Towards an integrated tool support for the analysis of IOPT nets using the Spin model checker;Barros,2022
3. Software engineering economics. Prentice-Hall advances in computing science and technology series;Boehm,1981
4. Cycle-bounded model checking of PLC software via dynamic large-block encoding;Bohlender,2018
5. Ciraci, S., Malakuti, S., Katz, S., and Aksit, M. (2010). Checking the correspondence between UML models and implementation. In H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace, G. Roşu, O. Sokolsky, and N. Tillmann (eds.), Runtime Verification, 198–213. Springer Berlin Heidelberg, Berlin, Heidelberg.