ICFEM 2008
Dr. Farhad Mehta hielt an der 10. jährlichen International Conference on Formal Engineering Methods (ICFEM 2008) in Kitakyushu-City (Japan) einen Vortrag mit dem Titel "A Practical Approach to Partiality: A Proof Based Approach".
Der Vortrag war über seine kürzlichen Forschungen über die Entwicklung von sicherheitskritischen Systemen, indem Entwicklungsmethoden aus der formalen Mathematik eingesetzt werden.
Ein Artikel mit dem selben Titel wurde als Teil von "Formal Methods and Software Engineering" publiziert, der Ausgabe LNCS 5256 der Serie "Lecture Notes in Computer Science" des Springer Verlags.
|
Artikel "A Practical Approach to Partiality: A Proof Based Approach" von Dr. Farhad Mehta |
|
Ausgabe LNCS 5256 der Serie "Lecture Notes in Computer Science" des Springer Verlags |
