![](/img/cover-not-exists.png)
[IEEE 2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2015.9.23-2015.9.25)] 2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS) - Abstracting security-critical applications for model checking in a model-driven approach
Borek, Marian, Stenzel, Kurt, Katkalov, Kuzman, Reif, WolfgangYear:
2015
Language:
english
DOI:
10.1109/icsess.2015.7338996
File:
PDF, 125 KB
english, 2015