Login / Signup
Feasibility Test Verification Method For Nonsymmetric Release Time Task Scheduling.
Randall G. Karl
Tachen Leo Lo
Daniel C. St. Clair
Published in:
Annual Simulation Symposium (1993)
Keyphrases
</>
verification method
temporal logic
model checking
genetic algorithm
information systems
resource management
computing systems
databases
neural network
wireless sensor networks
test data
scheduling algorithm
software testing