Sortiert nach
ACM computing surveys, 2014, Vol.46 (1)
2014
Link zum Volltext
Formal aspects of computing, 1999-12, Vol.11 (6), p.637-664
1999
Link zum Volltext
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems, 2004, p.75-84
2004
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- Algebra
- Automatic Testing
- Computer Systems And Distributed Systems. User Interface
- Lan Interconnection
- Model-Checking
- Program Transformation
- Programming Languages
- Promela
- Protection
- Solids
- Specification Languages
- Spin
- Standards Development
- System Testing
- Systems Engineering And Theory
Kollektion
Zeitschrift / Serie