search result

Cover von Special issue on configurable distributed systems
Search for this author
Year: 1994
Publisher: Stevenage, IEE
Series: Distributed systems engineering : 1. 1994, 5
Media group: SPECIAL ISSUE
Cover von Distributed systems and computer networks
Author: Sloman, Morris; Kramer, Jeff Search for this author
Year: 1987
Publisher: New York, Prentice Hall
Series: Prentice Hall International series in computer science
Media group: MONOGRAPHIE
Cover von Concurrency
state models and Java programs
Author: Magee, Jeff; Kramer, Jeff Search for this author
Year: 2006
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Software process modelling and technology
Search for this author
Year: 1994
Publisher: Taunton, Research Studies Press
Series: Advanced software development series; 3
Media group: MONOGRAPHIE
Cover von Can formal methods cope with software-intensive systems ?
27.05. - 01.06.01, Seminar Nr. 01221
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 308
Media group: DAGSTUHL-SEMINAR-REP
Cover von 1999 international conference on software engineering; 2
special issue : S. 97 - 190
Search for this author
Year: 2001
Publisher: Piscataway, IEEE
Count: 2
Media group: SPECIAL ISSUE
Cover von Introduction to Digital Humanism
A Textbook
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Media group: OPENACCESS
Cover von An Inductive Approach for Modal Transition System Refinement

An Inductive Approach for Modal Transition System Refinement

Year: 2011
Media group: LIPIcs
OPEN V 11.1.0.0