Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- model-driven engineering 4 Treffer
- formal methods 3 Treffer
- uml 3 Treffer
- formal verification 2 Treffer
- marte 2 Treffer
-
27 weitere Werte:
- mde 2 Treffer
- metamodel 2 Treffer
- model transformation 2 Treffer
- proofs 2 Treffer
- aadl 1 Treffer
- animation 1 Treffer
- behavioral consistency 1 Treffer
- code generation 1 Treffer
- conformance 1 Treffer
- continuum 1 Treffer
- design automation 1 Treffer
- design space exploration 1 Treffer
- domain-specific language 1 Treffer
- dsl 1 Treffer
- embedded systems 1 Treffer
- lotos 1 Treffer
- mda 1 Treffer
- model 1 Treffer
- model checking 1 Treffer
- ocl 1 Treffer
- pbse 1 Treffer
- petri nets 1 Treffer
- real-time 1 Treffer
- software systems 1 Treffer
- synchronous languages 1 Treffer
- system on chip 1 Treffer
- toolbox 1 Treffer
Sprache
10 Treffer
-
In: Innovations in Systems & Software Engineering, Jg. 4 (2008-10-01), Heft 3, S. 203-213Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 6 (2010-03-01), Heft 1/2, S. 73-81Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 5 (2009-03-01), Heft 1, S. 49-64Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 4 (2008-10-01), Heft 3, S. 215-222Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 18 (2022-12-01), Heft 4, S. 543-566Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 16 (2020-12-01), Heft 3/4, S. 289-307Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 8 (2012-03-01), Heft 1, S. 19-33Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 5 (2009-03-01), Heft 1, S. 5-12Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 4 (2008-10-01), Heft 3, S. 293-300Online academicJournalZugriff:
-
In: Innovations in Systems & Software Engineering, Jg. 4 (2008-10-01), Heft 3, S. 195-202Online academicJournalZugriff: