Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- extreme programming 3 Treffer
- formal specification 3 Treffer
- formal verification 3 Treffer
- smv 2 Treffer
- spin 2 Treffer
-
17 weitere Werte:
- computer 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science 1 Treffer
- computer science applications 1 Treffer
- computer.software_genre 1 Treffer
- correctness 1 Treffer
- design 1 Treffer
- electrical and electronic engineering 1 Treffer
- natural language 1 Treffer
- performance 1 Treffer
- programming language 1 Treffer
- reference model 1 Treffer
- reliability 1 Treffer
- set (abstract data type) 1 Treffer
- user story 1 Treffer
- verification 1 Treffer
- xp 1 Treffer
Verlag
Sprache
3 Treffer
-
In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, Jg. 10 (2005), Heft 4, S. 589-609Online serialPeriodicalZugriff:
-
In: ACM Transactions on Design Automation of Electronic Systems, Jg. 10 (2005-10-01), S. 589-609Online unknownZugriff:
-
In: ACM Transactions on Design Automation of Electronic Systems, Jg. 10 (2005-10-01), Heft 4, S. 589-609Online serialPeriodicalZugriff: