search result

Cover von Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, Heraklion, Crete, Greece, October 18 - 21, 2010, Proceedings
2010
Berlin, Springer
Series: Lecture notes in computer science; 6415/6416
Media group: GESAMTWERK
Volumes loading
Cover von Deduktion

Deduktion

von der Theorie zur Anwendung
Author: Baader, Franz; Beckert, Bernhard; Nipkow, Tobias
Year: 2010
Media group: ARTICLE
Cover von Advances in Databases and Information Systems
14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010. Proceedings
Search for this author
Year: 2010
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 6295
Media group: MONOGRAPHIE
Cover von Evolving Software Architecture Descriptions of Critical Systems

Evolving Software Architecture Descriptions of Critical Systems

article
Year: 2010
Critical Systems
Media group: ARTICLE
Cover von Machine learning approaches to statistical dependences and causality
Search for this author
Year: 2009
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 09401
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Leveraging applications of formal methods, verification and validation
third international symposium, Porto Sani, Greece, October 13 - 15, 2008, proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Communications in computer and information science; 17
Media group: MONOGRAPHIE
Cover von A layered modeling and simulation architecture for agent-based system development

A layered modeling and simulation architecture for agent-based system development

article
Year: 2001
Media group: ARTICLE
Cover von Special issue on agents in modeling and simulation

Special issue on agents in modeling and simulation

exploiting the metaphor : article
Year: 2001
Media group: ARTICLE
Cover von Quasar Enterprise
Anwendungslandschaften serviceorientiert gestalten
Search for this author
Year: 2008
Publisher: Heidelberg, dpunkt.verlag
Media group: MONOGRAPHIE
Cover von Verification of object-oriented software
the KeY approach
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4334
Media group: MONOGRAPHIE
OPEN V 11.1.0.0