Fast track conference proceedings State of the art research Of interest to academic and industrial researchers alike
David S. Rosenblum
AntiPattern Constraint Debugging Java Scheduling Simulation automata modeling optimization real-time semantics testing validation verification