search result

Cover von Verification of Safety-Critical Systems

Verification of Safety-Critical Systems

A Case Study Report on Using Modern Model Checking Tools
Year: 2012
Media group: ARTICLE
Cover von Vol. VII.; Transactions on aspect-oriented software development
Search for this author
Year: 2010
Publisher: Berlin, Springer
Volume: Vol. VII.
Series: Lecture notes in computer science : Journal Subline; 6210
Media group: MONOGRAPHIE
Cover von Languages
From Formal to Natural : Essays dedicated to Nissim Francez on the Occasion of His 65th Birthday
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 5533
Media group: MONOGRAPHIE
Cover von Aspect-oriented programming; 5
special issue : S. 527-589
Search for this author
Year: 2003
Publisher: Oxford, Oxford University Press
Computer journal
Count: 5
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0