Software Technologies for Embedded Systems: An Industry Inventory | 8 | 0.80 | 2002 |
Transformation of UML Specification to XTG | 4 | 0.51 | 2001 |
A Timed Automata Semantics for Real-Time UML Specifications | 3 | 0.51 | 2001 |
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs | 8 | 0.67 | 2000 |
Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm | 0 | 0.34 | 1999 |
Partition Refinement in Real-Time Model Checking | 19 | 1.40 | 1998 |
Loose Specification of Real Time Systems | 0 | 0.34 | 1995 |
A Formal Semantics of Data Flow Diagrams | 14 | 2.77 | 1994 |
Loose Real-Time Communicating Agents | 0 | 0.34 | 1993 |
Simulation of Mosca specifications in Ada | 1 | 0.37 | 1992 |
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models | 2 | 0.60 | 1992 |
Application and benefits of formal methods in software development | 10 | 0.67 | 1992 |
Type Checking BSI/VDM-SL | 3 | 0.73 | 1990 |
Structured analysis—formal design, using stream and object oriented formal specifications | 4 | 0.49 | 1990 |