Synthesis of Synchronized Concurrent Systems Specified by Information Systems.
Zbigniew SurajKrzysztof PancerzPublished in: RSKT (2011)
Keyphrases
- concurrent systems
- information systems
- temporal logic
- process algebra
- distributed systems
- formal specification
- petri net
- transition systems
- model checking
- information technology
- program synthesis
- databases
- systems development
- health care
- multi agent systems
- public health
- texture synthesis
- enterprise resource planning
- project management
- computer systems
- object oriented