HIV drug resistance analysis tool based on process algebra.
Luciano Vieira de AraújoEster C. SabinoJoão Eduardo FerreiraPublished in: SAC (2008)
Keyphrases
- analysis tool
- process algebra
- drug resistance
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- human immunodeficiency virus
- formal methods
- web services composition
- concurrent programs
- communication protocols
- petri net
- temporal logic
- temporal sequences
- formal languages
- hiv protease
- distributed systems
- programming environment
- databases
- machine learning
- knowledge base
- wireless sensor networks
- software engineering
- reverse engineering