Login / Signup
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.
Dubravka Ilic
Elena Troubitsyna
Linas Laibinis
Sari Leppänen
Published in:
ISoLA (2006)
Keyphrases
</>
communication protocols
model driven development
formal verification
distributed systems
automated verification
model checking
business processes
model driven
communication protocol
databases
social networks
computer systems
life cycle
software design
formal methods