66

Embedded software verification in hardware–software codesign

Year:
2000
Language:
english
File:
PDF, 246 KB
english, 2000
72

Cloud Computing in Taiwan

Year:
2012
Language:
english
File:
PDF, 1.83 MB
english, 2012
73

Counterexample-Guided Assume-Guarantee Synthesis through Learning

Year:
2011
Language:
english
File:
PDF, 4.61 MB
english, 2011
74

Model Checking Prioritized Timed Systems

Year:
2012
Language:
english
File:
PDF, 1.70 MB
english, 2012
77

Embedded software synthesis and prototyping

Year:
2004
Language:
english
File:
PDF, 626 KB
english, 2004
80

Model Checking Safety-Critical Systems Using Safecharts

Year:
2007
Language:
english
File:
PDF, 2.97 MB
english, 2007
81

Efficient and user-friendly verification

Year:
2002
Language:
english
File:
PDF, 627 KB
english, 2002
95

Real-Time Services for Special Education

Year:
2011
Language:
english
File:
PDF, 2.74 MB
english, 2011