Sortiert nach
NASA Formal Methods, p.98-112
Link zum Volltext
Verification, Induction, Termination Analysis, p.81-101
Link zum Volltext
NASA Formal Methods, p.500-505
Link zum Volltext
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009, p.285-286
2009
- 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
- Computer Science, Theory & Methods
- Birds
- Calculus
- Communicate Sequential Process
- Computer Science, Artificial Intelligence
- Concurrent Program
- Error Code
- Executable Code
- Intermediate Representation
- Label Transition System
- Model Check
- Operating Systems
- Operational Semantic
- Processor Scheduling
- Program Counter
- Proof Tree