( en | de | ru )

 

Disambiguierung von "Osterweil, Leon J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.

, , , , und . EVT/WOTE, USENIX Association, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Moritz Osterweil

Leon Sklarz

Leon Karpa

Leon Dumoulin

Armin Leon

 

Weitere Publikationen von Autoren mit dem selben Namen

A facility for verification, testing and documentation of concurrent process software., und . COMPSAC, Seite 36-41. IEEE, (1978)Report on new software engineering faculty symposium (NSEFS 03) a full-day symposium held in conjunction with ICSE 2003 5 May 2003 Portland, OR, USA.. ACM SIGSOFT Softw. Eng. Notes, 28 (4): 27-35 (2003)Software processes are software too.. ISPW, Seite 79-80. IEEE Computer Society, (1986)Improving the quality of software quality determination processes.. Quality of Numerical Software, Volume 76 von IFIP Conference Proceedings, Seite 90-105. Chapman & Hall, (1996)Toward Objective, Systematic Design-Method Comparisons., und . IEEE Software, 9 (3): 43-53 (1992)A Mechanism for Environment Integration., und . ACM Trans. Program. Lang. Syst., 12 (1): 1-25 (1990)Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection., , , und . SEHC@ICSE, Seite 13-16. ACM, (2011)The Toolpack/IST Approach to Extensibility in Software Environments., und . Ada Software Tools Interfaces, Volume 180 von Lecture Notes in Computer Science, Seite 133-163. Springer, (1983)Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper., und . EWSPT, Volume 2077 von Lecture Notes in Computer Science, Seite 145-151. Springer, (2001)Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling., , , , und . IEEE Trans. Syst. Man Cybern. Syst., 48 (9): 1578-1593 (2018)