Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Published 2008

Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

by Bjørner, Dines
Published 1993

KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report

by Broy, Manfred
Published 1995

Formal Systems Specification : The RPC-Memory Specification Case Study

by Broy, Manfred
Published 1996

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

by Bjørner, Dines
Published 1996

Automotive Software-Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Published 2006

Mathematical Methods in Program Development

Published 1997

Program Design Calculi

Published 1993

Program Construction : International Summer School

by Bauer, Friedrich
Published 1979

Methods of Programming : Selected Papers on the CIP-Project

by Broy, Manfred
Published 1991

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1987

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Published 2001

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Published 1996

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Published 2003

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement

by Broy, Manfred, Stølen, Ketil
Published 2001