PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Slotosch, Oscar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Traffic Lights - An AutoFocus Case Study.

, , , , und . ACSD, Seite 282-294. IEEE Computer Society, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Prof. (Ord) Dr. Oscar Gabriel University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

The Quest for Correct Systems: Model Checking of Diagrams and Datatypes., und . APSEC, Seite 449-. IEEE Computer Society, (1999)Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems, , , , , und . CoRR, (2002)Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator., und . OMER, Volume P-5 von LNI, Seite 51-66. GI, (2001)Automatisiertes Testen mit Message Sequence Charts (MSCs)., und . MBEES, Volume 2008-2 von Informatik-Bericht, Seite 1-2. TU Braunschweig, Institut für Software Systems Engineering, (2008)QUEST: Overview over the Project.. FM-Trends, Volume 1641 von Lecture Notes in Computer Science, Seite 346-350. Springer, (1998)Model-Based Test Case Generation for Smart Cards., , , , , und . Electron. Notes Theor. Comput. Sci., (2003)Transforming Message Sequence Charts for Testing.. Modellierung, Volume P-127 von LNI, Seite 253-256. GI, (2008)Modeling and Safety-Certification of Model-based Development Processes., und . Modellierung, Volume P-280 von LNI, Seite 261-273. Gesellschaft für Informatik e.V., (2018)Modelling and Validation: AUTOFOCUS and Quest.. Formal Asp. Comput., 12 (4): 225-227 (2000)Model-based testing for real., , , und . STTT, 5 (2-3): 140-157 (2004)