Sortiert nach
7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings, 2002, p.189-194
2002
- Link zum Volltext
Communication, Signal Processing & Information Technology, 2017, Vol.4, p.1-16
2017
Link zum Volltext
Communication, Signal Processing & Information Technology, 2017, Vol.4, p.115-130
2017
Link zum Volltext
Computer Systems: Architectures, Modeling, and Simulation, 2004, p.98-107
2004
Link zum Volltext
Proceedings ED&TC European Design and Test Conference, 1996, p.302-306
1996
- Link zum Volltext
2008 Forum on Specification, Verification and Design Languages, 2008, p.243-244
2008
- Link zum Volltext
2008 Forum on Specification, Verification and Design Languages, 2008, p.237-238
2008
- Link zum Volltext
2006 Sixth International Conference on Quality Software (QSIC'06), 2006, p.167-174
2006
- Link zum Volltext
2006 30th Annual IEEE/NASA Software Engineering Workshop, 2006, p.207-211
2006
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- Formal Specifications
- Computer Science, Information Systems
- Automation & Control Systems
- Natural Languages
- Application Specific Integrated Circuits
- Automata
- Circuit Synthesis
- Computer Science, Hardware & Architecture
- Costs
- Mathematical Model
- Software
- Acceleration
- Analytical Models
- Applied Physics
Kollektion