Search results for: Reinhold Heckmann
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 > CAAP '92 > 165-181
Lecture Notes in Computer Science > Static Analysis > 294-309
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers > 336-339
Lecture Notes in Computer Science > ESOP '88 > 175-190
Lecture Notes in Computer Science > ESOP '90 > 177-196
Lecture Notes in Computer Science > Automotive Software – Connected Services in Mobile Networks > 1-14
Lecture Notes in Computer Science > Applied Semantics > 193-267
Lecture Notes in Computer Science > Program Development by Specification and Transformation > 275-313
Lecture Notes in Computer Science > Embedded Software > 469-485
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 172-188
Lecture Notes in Computer Science > Model-Driven Development of Reliable Automotive Services > Real-Time Control > 145-160
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