publication venue for
- "What Is an Infrastructure?" Towards an Informatics Answer. 2002
- A Formal Basis for Some Dependability Notions. 2002
- A Grand Challenge Proposal for Formal Methods: A Verified Stack. 2002
- A Theory of Hints in Model Checking. 2002
- A Tool Architecture for the Next Generation of Uppaal. 2002
- An Algebraic Approach to the VERILOG Programming. 2002
- An Executable Specification Language Based on Message Sequence Charts. 2002
- Combining Decision Procedures. 2002
- Contract-Based Testing. 2002
- Coordination Technologies for Just-in-Time Integration. 2002
- Formal Methods within a Totally Functional Approach to Programming. 2002
- From Formal Techniques to Well-Founded Software Development Methods. 2002
- Graph-Based Models of Internetworking Systems. 2002
- In Memoriam Armando MartÃn Haeberer: 4 January 1947 - 11 February 2003. 2002
- Making Timed Automata Communicate. 2002
- Multi-view Modeling of Software Systems. 2002
- Real-Time Process Algebra and Its Applications. 2002
- Real-Time Systems Development with Duration Calculi: An Overview. 2002
- Software Development by Refinement. 2002
- The Development of the RAISE Tools. 2002
- Type Systems for Concurrent Programs. 2002
- UNU and UNU/IIST. 2002
- Verification by Abstraction. 2002
- X2Rel: An XML Relation Language with Formal Semantics. 2002