PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rock, Georg"

Author of the publication

copydeleteadd this publication to your clipboard
VSE: Controlling the Complexity in Formal Software Developments.

, , , , , , , , and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 351-358. Springer, (1998)

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.

Christoph Röcker University of Stuttgart

Dr. Ilche Georgievski University of Stuttgart

Marian Rockenhäuser University of Stuttgart

M. Sc. Patrick Georgi University of Stuttgart

Daniel Georg University of Stuttgart

 

Other publications of authors with the same name

Modeling Specification and Verification of an Emergency Closing System., , and . FLAIRS Conference, page 356-360. AAAI Press, (2000)Formal software development in the Verification Support Environment (VSE)., , , , , and . J. Exp. Theor. Artif. Intell., 12 (4): 383-406 (2000)VSE: formal methods meet industrial needs., , , , , , , , and . STTT, 3 (1): 66-77 (2000)VSE: Controlling the Complexity in Formal Software Developments., , , , , , , , and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 351-358. Springer, (1998)On Generating Small Clause Normal Forms., , and . CADE, volume 1421 of Lecture Notes in Computer Science, page 397-411. Springer, (1998)Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon"., , and . DeLFI, volume P-297 of LNI, page 157-162. Gesellschaft für Informatik e.V., (2019)Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines., and . VaMoS, volume 29 of ICB Research Report, page 111-120. Universität Duisburg-Essen, (2009)Visualization of Variability in Complex Development Structures., and . VaMoS, page 109. ACM, (2015)Formal Requirements Engineering Using Observer Models., , and . FASE, volume 2306 of Lecture Notes in Computer Science, page 264-278. Springer, (2002)Automating Interactive Protocol Verification., , , , and . KI, volume 5243 of Lecture Notes in Computer Science, page 30-37. Springer, (2008)