( en | de | ru )

 

Disambiguation of "Slotosch, Oscar"

Author of the publication

copydeleteadd this publication to your clipboard
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.

, and . APSEC, page 449-. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Oscar Slotosch

Susanne Slotosch

Daniel Slotosch

Helmut Slotosch

Dietmar Slotosch

 

Other publications of authors with the same name

Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification.. SEFM Satellite Events, volume 7991 of Lecture Notes in Computer Science, page 215-228. Springer, (2012)Higher Order Quotients and their Implementation in Isabelle HOL.. TPHOLs, volume 1275 of Lecture Notes in Computer Science, page 291-306. Springer, (1997)Model-based testing for real., , , and . Int. J. Softw. Tools Technol. Transf., 5 (2-3): 140-157 (2004)Modelling and Validation: AUTOFOCUS and Quest.. Formal Aspects Comput., 12 (4): 225-227 (2000)CASE Support and Model-Based Development., , , and . Modellierung, volume P-45 of LNI, page 283-284. GI, (2004)From Requirements to Validated Embedded Systems., and . EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 51-65. Springer, (2001)Enriching the Software Development Process by Formal Methods., and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 44-61. Springer, (1998)ISO 26262 - Tool chain analysis reduces tool qualification costs., , , , and . Automotive - Safety & Security, volume P-210 of LNI, page 27-38. GI, (2012)Tool supported Specification and Simulation of Distributed Systems, , , , , and . PDSE 98, Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, page 155 - 164. IEEE Computer Society, (April 1998)Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator., and . OMER, volume P-5 of LNI, page 51-66. GI, (2001)