1. OPUS

Suche


Neue Suche starten
Facetten hinzufügen:

Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.

 | 
Treffer 81-90 von 3123 (Suchzeit: 0.028 Sekunden).
Treffer Dokumente:
ErscheinungsdatumTitelAutor(en)
2011Adaptive Prozessmodellierung mittels mehrerer AbstraktionsschichtenAlvi, Modood Ahmad
2006Infinite state model checking of propositional dynamic logicsGöller, Stefan; Lohrey, Markus
2011Abstract business process monitoringLie, Sumadi
2011Anforderungen und Nutzenpotentiale einer mobilen eHealth Plattform für chronische KrankheitenSubkov, Sergej
2006Counterexample-guided abstraction refinement for the analysis of graph transformation systemsKönig, Barbara; Kozioura, Vitali
2006Abstraction refinement with craig interpolation and symbolic pushdown systemsEsparza, Javier; Kiefer, Stefan; Schwoon, Stefan
2004A case study : verifying a mutual exclusion protocol with process creation using graph transformation systemsDotti, Fernando Luis; König, Barbara; Santos, Osmar Marchi dos; Ribeiro, Leila
2005Adaptive Internetanbindung von FeldbussystemenEberle, Stephan
2006Automatic synthesis of distributed transition systemsStefanescu, Alin
2005Standardisierte Auszeichnungssprachen der Computergraphik für interaktive SystemeRotard, Martin

Facetten