Sortiert nach
Nature of Computation and Communication, p.3-12
Link zum Volltext
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
- Adaptive Systems
- Birds
- Calculus
- Communicate Sequential Process
- Computer Science, Artificial Intelligence
- Concurrent Program
- Error Code
- Executable Code
- Intermediate Representation
- Label Transition System
- Model Check
- Modelling
- Operating Systems
- Operational Semantic
- Processor Scheduling