Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...






Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p.96-98
Link zum Volltext

Software Engineering for Collective Autonomic Systems, p.249-290
Link zum Volltext

Transactions on Aspect-Oriented Software Development VII, p.234-271
Link zum Volltext

Transactions on Foundations for Mastering Change I, 2016, Vol.9960, p.201-224
2016
Link zum Volltext






Transactions on Foundations for Mastering Change I, 2016, Vol.9960, p.180-200
2016
Link zum Volltext

Towards a System Model for Ensembles
Formal Modeling: Actors, Open Systems, Biological Systems, p.241-261
Link zum Volltext





Open Access
Disjunctive Constraint Lambda Calculi
Lecture notes in computer science, 2005, p.64-78
2005
Link zum Volltext

Weaving semantic aspects in HiLA
Proceedings of the 11th annual international conference on Aspect-oriented Software Development, 2012, p.263-274
2012
Link zum Volltext


Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt