Search results for: Christian Ferdinand
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 12-52
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 235-252
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers > 336-339
Lecture Notes in Computer Science > Automotive Software – Connected Services in Mobile Networks > 1-14
Lecture Notes in Computer Science > Embedded Software > 469-485
Lecture Notes in Computer Science > Model-Driven Development of Reliable Automotive Services > Real-Time Control > 145-160
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 358-371
IFIP — The International Federation for Information Processing > Building the Information Society > Abstract Interpretation > 377-383
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Introduction of Multi-core Systems in Automotive Applications > 93-107
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Non-functional Requirements in Embedded Systems > 445-459
International Journal of Colorectal Disease > 2014 > 29 > 2 > 253-260
Real-Time Systems > 2000 > 18 > 2-3 > 157-179
Science of Computer Programming > 1999 > 35 > 2-3 > 163-189